Introduce opaque type to hidden type projection

This commit is contained in:
Oli Scherer 2022-06-22 15:28:28 +00:00
parent 6dc9746147
commit 417a600c30

View file

@ -252,6 +252,7 @@ fn check_place<'tcx>(tcx: TyCtxt<'tcx>, place: Place<'tcx>, span: Span, body: &B
}
},
ProjectionElem::ConstantIndex { .. }
| ProjectionElem::OpaqueCast(..)
| ProjectionElem::Downcast(..)
| ProjectionElem::Subslice { .. }
| ProjectionElem::Deref