diff --git a/tests/pass/issues/issue-miri-3282-struct-tail-normalize.rs b/tests/pass/issues/issue-miri-3282-struct-tail-normalize.rs
new file mode 100644
index 0000000000..2a31df8384
--- /dev/null
+++ b/tests/pass/issues/issue-miri-3282-struct-tail-normalize.rs
@@ -0,0 +1,20 @@
+// regression test for an ICE: https://github.com/rust-lang/miri/issues/3282
+
+trait Id {
+    type Assoc: ?Sized;
+}
+
+impl<T: ?Sized> Id for T {
+    type Assoc = T;
+}
+
+#[repr(transparent)]
+struct Foo<T: ?Sized> {
+    field: <T as Id>::Assoc,
+}
+
+fn main() {
+    let x = unsafe { std::mem::transmute::<fn(&str), fn(&Foo<str>)>(|_| ()) };
+    let foo: &Foo<str> = unsafe { &*("uwu" as *const str as *const Foo<str>) };
+    x(foo);
+}