diff --git a/compiler/rustc_mir_transform/src/check_finalizers.rs b/compiler/rustc_mir_transform/src/check_finalizers.rs
index b97e7e30505cf..3e34404e649a6 100644
--- a/compiler/rustc_mir_transform/src/check_finalizers.rs
+++ b/compiler/rustc_mir_transform/src/check_finalizers.rs
@@ -33,6 +33,8 @@ enum FinalizerErrorKind<'tcx> {
     UnsoundExternalDropGlue(FnInfo<'tcx>),
     /// Contains an inline assembly block, which can do anything, so we can't be certain it's safe.
     InlineAsm(FnInfo<'tcx>),
+    /// Contains a field projection where one of the projection elements is a raw pointer.
+    RawPtr(FnInfo<'tcx>, ProjInfo<'tcx>),
 }
 
 /// Information about the projection which caused the FSA error.
@@ -408,6 +410,19 @@ impl<'tcx> FSAEntryPointCtxt<'tcx> {
                     format!("this assembly block is not safe to run in a finalizer"),
                 );
             }
+            FinalizerErrorKind::RawPtr(fi, pi) => {
+                err = self.tcx.sess.psess.dcx.struct_span_err(
+                    self.arg_span,
+                    format!("The drop method for `{0}` cannot be safely finalized.", fi.drop_ty),
+                );
+                err.span_label(
+                    pi.span,
+                    format!("a finalizer cannot safely dereference this `{0}`", pi.ty),
+                );
+                err.span_label(pi.span, "because it might not live long enough");
+                err.span_label(pi.span, "or be safe to use across threads.");
+                err.help("`Gc` runs finalizers on a separate thread, so drop methods\ncannot safely dereference raw pointers. If you are sure that this is safe,\nconsider wrapping it in a type which implements `Send + Sync`.");
+            }
         }
         err.span_label(
             self.fn_span,
@@ -523,6 +538,7 @@ impl<'dcx, 'ecx, 'tcx> Visitor<'tcx> for FuncCtxt<'dcx, 'ecx, 'tcx> {
             let fn_info = FnInfo::new(self.body.span, self.dcx.drop_ty);
             let proj_info = ProjInfo::new(self.body.source_info(location).span, ty);
             if ty.is_unsafe_ptr() {
+                self.push_error(location, FinalizerErrorKind::RawPtr(fn_info, proj_info));
                 break;
             }
             if !ty.is_send(self.tcx(), self.ecx().param_env)
diff --git a/tests/ui/static/gc/fsa/raw_pointers.rs b/tests/ui/static/gc/fsa/raw_pointers.rs
new file mode 100644
index 0000000000000..498b8f04ff23d
--- /dev/null
+++ b/tests/ui/static/gc/fsa/raw_pointers.rs
@@ -0,0 +1,26 @@
+#![feature(gc)]
+#![feature(negative_impls)]
+#![feature(rustc_private)]
+#![allow(dead_code)]
+#![allow(unused_variables)]
+include!{"./auxiliary/types.rs"}
+
+struct S(*mut u8);
+
+impl Drop for S {
+    fn drop(&mut self) {
+        use_val(self.0);
+    }
+}
+
+struct T(*mut u8);
+
+unsafe impl Send for T {}
+unsafe impl Sync for T {}
+
+fn main() {
+    Gc::new(S(std::ptr::null_mut()));
+    //~^ ERROR: The drop method for `S` cannot be safely finalized.
+
+    Gc::new(T(std::ptr::null_mut()));
+}
diff --git a/tests/ui/static/gc/fsa/raw_pointers.stderr b/tests/ui/static/gc/fsa/raw_pointers.stderr
new file mode 100644
index 0000000000000..1f85957a88d46
--- /dev/null
+++ b/tests/ui/static/gc/fsa/raw_pointers.stderr
@@ -0,0 +1,19 @@
+error: The drop method for `S` cannot be safely finalized.
+  --> $DIR/raw_pointers.rs:22:13
+   |
+LL |         use_val(self.0);
+   |                 ------
+   |                 |
+   |                 a finalizer cannot safely dereference this `*mut u8`
+   |                 because it might not live long enough
+   |                 or be safe to use across threads.
+...
+LL |     Gc::new(S(std::ptr::null_mut()));
+   |     --------^^^^^^^^^^^^^^^^^^^^^^^- caused by trying to construct a `Gc<S>` here.
+   |
+   = help: `Gc` runs finalizers on a separate thread, so drop methods
+           cannot safely dereference raw pointers. If you are sure that this is safe,
+           consider wrapping it in a type which implements `Send + Sync`.
+
+error: aborting due to 1 previous error
+