Searched defs:impl_sig (Results 1 – 2 of 2) sorted by relevance
300 let impl_sig = impl_sig.skip_binder(); in types_may_unify() localVariable
277 let impl_sig = ocx.normalize(&norm_cause, param_env, unnormalized_impl_sig); in compare_method_predicate_entailment() localVariable651 let impl_sig = ocx.normalize( in collect_return_position_impl_trait_in_trait_tys() localVariable