Searched defs:trait_sig (Results 1 – 1 of 1) sorted by relevance
280 let trait_sig = tcx.fn_sig(trait_m.def_id).subst(tcx, trait_to_placeholder_substs); in compare_method_predicate_entailment() localVariable281 let trait_sig = tcx.liberate_late_bound_regions(impl_m.def_id, trait_sig); in compare_method_predicate_entailment() localVariable287 let trait_sig = ocx.normalize(&norm_cause, param_env, trait_sig); in compare_method_predicate_entailment() localVariable680 let trait_sig = ocx.normalize(&norm_cause, param_env, unnormalized_trait_sig); in collect_return_position_impl_trait_in_trait_tys() localVariable