/// Error derived when matching traits/impls; see ObligationCause for more details
CompareImplMethodObligation {
- impl_item_def_id: DefId,
+ impl_item_def_id: LocalDefId,
trait_item_def_id: DefId,
},
/// Error derived when matching traits/impls; see ObligationCause for more details
CompareImplTypeObligation {
- impl_item_def_id: DefId,
+ impl_item_def_id: LocalDefId,
trait_item_def_id: DefId,
},
/// Checking that the bounds of a trait's associated type hold for a given impl
CheckAssociatedTypeBounds {
- impl_item_def_id: DefId,
+ impl_item_def_id: LocalDefId,
trait_item_def_id: DefId,
},
- /// Checking that this expression can be assigned where it needs to be
- // FIXME(eddyb) #11161 is the original Expr required?
+ /// Checking that this expression can be assigned to its target.
ExprAssignable,
/// Computing common supertype in the arms of a match expression