attempt to fix std ice

Author: fee1-dead

compiler/rustc_typeck/src/check/mod.rs

@@ -963,7 +963,7 @@ fn has_expected_num_generic_args<'tcx>(
 ) -> bool {
     trait_did.map_or(true, |trait_did| {
         let generics = tcx.generics_of(trait_did);
-        generics.count() == expected + if generics.has_self { 1 } else { 0 }
+        generics.count() == expected + if generics.has_self { 1 } else { 0 } + if generics.has_constness { 1 } else { 0 }
     })
 }
 

compiler/rustc_typeck/src/check/op.rs

@@ -859,6 +859,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             self.lookup_op_method_in_trait(span, opname, trait_did, lhs_ty, other_ty, other_ty_expr)
         });
 
+        debug!("lookup_op_method(method={method:?}");
+
         match (method, trait_did) {
             (Some(ok), _) => {
                 let method = self.register_infer_ok_obligations(ok);