Add a regression test for #47131

diff --git a/src/test/ui/dead-code-impl.rs b/src/test/ui/dead-code-impl.rs
new file mode 100644 (file)
index 0000000..84829c9
--- /dev/null
+++ b/src/test/ui/dead-code-impl.rs
@@ -0,0 +1,17 @@
+// run-pass
+
+#![deny(dead_code)]
+
+pub struct GenericFoo<T>(T);
+
+type Foo = GenericFoo<u32>;
+
+impl Foo {
+    fn bar(self) -> u8 {
+        0
+    }
+}
+
+fn main() {
+    println!("{}", GenericFoo(0).bar());
+}