1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/variance/variance-associated-types.rs b/src/test/ui/variance/variance-associated-types.rs
new file mode 100644
index 000000000..1165fb53c
--- /dev/null
+++ b/src/test/ui/variance/variance-associated-types.rs
@@ -0,0 +1,22 @@
+// Test that the variance computation considers types/regions that
+// appear in projections to be invariant.
+
+#![feature(rustc_attrs)]
+
+trait Trait<'a> {
+    type Type;
+
+    fn method(&'a self) { }
+}
+
+#[rustc_variance]
+struct Foo<'a, T : Trait<'a>> { //~ ERROR [-, +]
+    field: (T, &'a ())
+}
+
+#[rustc_variance]
+struct Bar<'a, T : Trait<'a>> { //~ ERROR [o, o]
+    field: <T as Trait<'a>>::Type
+}
+
+fn main() { }