use type_is_szed_modulo_regions

ouz-a · ouz-a · commit de53cba56639 · 2023-09-22T18:55:42.000+03:00
diff --git a/compiler/rustc_hir_typeck/src/cast.rs b/compiler/rustc_hir_typeck/src/cast.rs
@@ -725,7 +725,7 @@ impl<'a, 'tcx> CastCheck<'tcx> {
                             },
                             // array-ptr-cast
                             Ptr(mt) => {
-                                if !mt.ty.is_sized(fcx.tcx, fcx.param_env) {
+                                if !fcx.type_is_sized_modulo_regions(fcx.param_env, mt.ty) {
                                     return Err(CastError::IllegalCast);
                                 }
                                 self.check_ref_cast(fcx, TypeAndMut { mutbl, ty: inner_ty }, mt)

Original file line number	Diff line number	Diff line change
`@@ -725,7 +725,7 @@ impl<'a, 'tcx> CastCheck<'tcx> {`
`725`	`725`	`},`
`726`	`726`	`// array-ptr-cast`
`727`	`727`	`Ptr(mt) => {`
`728`		`- if !mt.ty.is_sized(fcx.tcx, fcx.param_env) {`
	`728`	`+ if !fcx.type_is_sized_modulo_regions(fcx.param_env, mt.ty) {`
`729`	`729`	`return Err(CastError::IllegalCast);`
`730`	`730`	`}`
`731`	`731`	`self.check_ref_cast(fcx, TypeAndMut { mutbl, ty: inner_ty }, mt)`