1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/ui/variance/variance-unused-region-param.rs b/src/test/ui/variance/variance-unused-region-param.rs
new file mode 100644
index 000000000..f0e4e03c9
--- /dev/null
+++ b/src/test/ui/variance/variance-unused-region-param.rs
@@ -0,0 +1,7 @@
+// Test that we report an error for unused type parameters in types.
+
+struct SomeStruct<'a> { x: u32 } //~ ERROR parameter `'a` is never used
+enum SomeEnum<'a> { Nothing } //~ ERROR parameter `'a` is never used
+trait SomeTrait<'a> { fn foo(&self); } // OK on traits.
+
+fn main() {}