Searched defs:normalize_cause (Results 1 – 2 of 2) sorted by relevance
136 let normalize_cause = traits::ObligationCause::misc(span, adt_def_id); in ensure_drop_predicates_are_implied_by_item_defn() localVariable
221 let normalize_cause = traits::ObligationCause::misc(impl_m_span, impl_m_def_id); in compare_method_predicate_entailment() localVariable236 let normalize_cause = traits::ObligationCause::misc(span, impl_m_def_id); in compare_method_predicate_entailment() localVariable1922 let normalize_cause = traits::ObligationCause::misc(impl_ty_span, impl_ty_def_id); in compare_type_predicate_entailment() localVariable2128 let normalize_cause = ObligationCause::new( in check_type_bounds() localVariable