let cause = ObligationCause::new(
obligation.cause.span,
obligation.cause.body_id,
- ObjectCastObligation(target),
+ ObjectCastObligation(source, target),
);
let outlives = ty::OutlivesPredicate(r_a, r_b);
nested.push(Obligation::with_depth(
let cause = ObligationCause::new(
obligation.cause.span,
obligation.cause.body_id,
- ObjectCastObligation(target),
+ ObjectCastObligation(source, target),
);
let outlives = ty::OutlivesPredicate(r_a, r_b);
nested.push(Obligation::with_depth(
let cause = ObligationCause::new(
obligation.cause.span,
obligation.cause.body_id,
- ObjectCastObligation(target),
+ ObjectCastObligation(source, target),
);
let predicate_to_obligation = |predicate| {