Strip OpaqueCast during RevealAll.

oli-obk · oli-obk · commit 17d7821a2a68 · 2023-09-28T16:13:38.000Z
diff --git a/src/base.rs b/src/base.rs
@@ -875,7 +875,7 @@ pub(crate) fn codegen_place<'tcx>(
             PlaceElem::Deref => {
                 cplace = cplace.place_deref(fx);
             }
-            PlaceElem::OpaqueCast(ty) => cplace = cplace.place_opaque_cast(fx, ty),
+            PlaceElem::OpaqueCast(ty) => bug!("encountered OpaqueCast({ty}) in codegen"),
             PlaceElem::Field(field, _ty) => {
                 cplace = cplace.place_field(fx, field);
             }

Original file line number	Diff line number	Diff line change
`@@ -875,7 +875,7 @@ pub(crate) fn codegen_place<'tcx>(`
`875`	`875`	`PlaceElem::Deref => {`
`876`	`876`	`cplace = cplace.place_deref(fx);`
`877`	`877`	`}`
`878`		`- PlaceElem::OpaqueCast(ty) => cplace = cplace.place_opaque_cast(fx, ty),`
	`878`	`+ PlaceElem::OpaqueCast(ty) => bug!("encountered OpaqueCast({ty}) in codegen"),`
`879`	`879`	`PlaceElem::Field(field, _ty) => {`
`880`	`880`	`cplace = cplace.place_field(fx, field);`
`881`	`881`	`}`