Searched refs:ItemObligation (Results 1 – 10 of 10) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/error_reporting/ |
| H A D | on_unimplemented.rs | 143 if let ObligationCauseCode::ItemObligation(item) in on_unimplemented_note()
|
| H A D | mod.rs | 1308 ObligationCauseCode::ItemObligation(_) in report_projection_error()
1662 if let ObligationCauseCode::ItemObligation(def_id) = obligation.cause.code { in maybe_report_ambiguity()
|
| H A D | suggestions.rs | 805 | ObligationCauseCode::ItemObligation(_) = &*code in suggest_add_reference_to_arg()
1960 ObligationCauseCode::ItemObligation(_item_def_id) => { in note_obligation_cause_code()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/ |
| H A D | util.rs | 236 traits::ItemObligation(def_id) if !span.is_dummy() => traits::ObligationCause::new( in predicates_for_generics()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/ |
| H A D | placeholder_error.rs | 207 let leading_ellipsis = if let ObligationCauseCode::ItemObligation(def_id) = cause.code { in report_trait_placeholder_mismatch()
|
| H A D | static_impl_trait.rs | 195 if let (ObligationCauseCode::ItemObligation(item_def_id), None) = in try_report_static_impl_trait()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/method/ |
| H A D | confirm.rs | 490 traits::ObligationCause::new(self.span, self.body_id, traits::ItemObligation(def_id)), in add_obligations()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/traits/ |
| H A D | mod.rs | 202 ItemObligation(DefId), enumerator
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/fn_ctxt/ |
| H A D | _impl.rs | 1497 traits::ObligationCause::new(span, self.body_id, traits::ItemObligation(def_id)), in add_required_obligations()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/ |
| H A D | wfcheck.rs | 1287 traits::ObligationCause::new(sp, fcx.body_id, traits::ItemObligation(def_id)); in check_where_clauses()
|