fix comment

This commit is contained in:
lcnr 2023-07-28 12:54:56 +02:00
parent f1753ff8f8
commit 17f87c5aff
2 changed files with 2 additions and 2 deletions

View File

@ -338,7 +338,7 @@ fn rematch_unsize<'tcx>(
.into_obligations(), .into_obligations(),
); );
// Similar to ADTs, require that the rest of the fields are equal. // Similar to ADTs, require that we can unsize the tail.
nested.push(Obligation::new( nested.push(Obligation::new(
tcx, tcx,
ObligationCause::dummy(), ObligationCause::dummy(),

View File

@ -740,7 +740,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
Ty::new_tup_from_iter(tcx, a_rest_tys.iter().copied().chain([b_last_ty])); Ty::new_tup_from_iter(tcx, a_rest_tys.iter().copied().chain([b_last_ty]));
self.eq(goal.param_env, unsized_a_ty, b_ty)?; self.eq(goal.param_env, unsized_a_ty, b_ty)?;
// Similar to ADTs, require that the rest of the fields are equal. // Similar to ADTs, require that we can unsize the tail.
self.add_goal(goal.with( self.add_goal(goal.with(
tcx, tcx,
ty::TraitRef::new( ty::TraitRef::new(