subtyping_projections

This commit is contained in:
ouz-a 2023-08-16 08:43:30 +03:00
parent 1a82ca0a61
commit ea4b38820b

View file

@ -272,6 +272,7 @@ fn check_place<'tcx>(tcx: TyCtxt<'tcx>, place: Place<'tcx>, span: Span, body: &B
| ProjectionElem::Downcast(..)
| ProjectionElem::Subslice { .. }
| ProjectionElem::Deref
| ProjectionElem::Subtype(_)
| ProjectionElem::Index(_) => {},
}
}