about summary refs log tree commit diff
path: root/tests/ui/lint/dead-code/impl-trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/lint/dead-code/impl-trait.rs')
-rw-r--r--tests/ui/lint/dead-code/impl-trait.rs18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/lint/dead-code/impl-trait.rs b/tests/ui/lint/dead-code/impl-trait.rs
new file mode 100644
index 00000000000..757b8f83ef0
--- /dev/null
+++ b/tests/ui/lint/dead-code/impl-trait.rs
@@ -0,0 +1,18 @@
+#![deny(dead_code)]
+
+trait Trait {
+    type Type;
+}
+
+impl Trait for () {
+    type Type = ();
+}
+
+type Used = ();
+type Unused = (); //~ ERROR type alias `Unused` is never used
+
+fn foo() -> impl Trait<Type = Used> {}
+
+fn main() {
+    foo();
+}