Require pointers to be sized

1 files changed, 10 insertions, 2 deletions

diff --git a/compiler/rustc_codegen_llvm/src/intrinsic.rs b/compiler/rustc_codegen_llvm/src/intrinsic.rs
index 78afbdfc521..45463f96b8b 100644
--- a/compiler/rustc_codegen_llvm/src/intrinsic.rs
+++ b/compiler/rustc_codegen_llvm/src/intrinsic.rs
@@ -1718,11 +1718,19 @@ unsupported {} from `{}` with element `{}` of size `{}` to `{}`"#,
         );
 
         match in_elem.kind() {
-            ty::RawPtr(_) => {}
+            ty::RawPtr(p) => require!(
+                p.ty.is_sized(bx.tcx.at(span), ty::ParamEnv::reveal_all()),
+                "cannot cast pointer to unsized type `{}`",
+                in_elem
+            ),
             _ => return_error!("expected pointer, got `{}`", in_elem),
         }
         match out_elem.kind() {
-            ty::RawPtr(_) => {}
+            ty::RawPtr(p) => require!(
+                p.ty.is_sized(bx.tcx.at(span), ty::ParamEnv::reveal_all()),
+                "cannot cast to pointer to unsized type `{}`",
+                out_elem
+            ),
             _ => return_error!("expected pointer, got `{}`", out_elem),
         }