@@ -1147,12 +1147,23 @@ TypeCheckExpr::visit (HIR::MethodCallExpr &expr)
11471147 }
11481148
11491149 // apply any remaining generic arguments
1150+ rust_debug_loc (expr.get_method_name ().get_locus (),
1151+ " expr has generics: [%s]" ,
1152+ expr.get_method_name ().has_generic_args () ? " true"
1153+ : " false" );
11501154 if (expr.get_method_name ().has_generic_args ())
11511155 {
1152- rust_debug_loc (expr.get_method_name ().get_generic_args ().get_locus (),
1156+ HIR::GenericArgs &args = expr.get_method_name ().get_generic_args ();
1157+ rust_debug_loc (args.get_locus (),
11531158 " applying generic arguments to method_call: {%s}" ,
11541159 lookup->debug_str ().c_str ());
1155- HIR::GenericArgs &args = expr.get_method_name ().get_generic_args ();
1160+ rust_debug (" generic args: empty = {%s}, lifetimes={%zu}, types={%zu}, "
1161+ " bindings={%zu}, consts={%zu}" ,
1162+ args.is_empty () ? " true" : " false" ,
1163+ args.get_lifetime_args ().size (),
1164+ args.get_type_args ().size (),
1165+ args.get_binding_args ().size (),
1166+ args.get_const_args ().size ());
11561167 lookup
11571168 = SubstMapper::Resolve (lookup, expr.get_method_name ().get_locus (),
11581169 &args);
0 commit comments