1 files changed, 38 insertions, 0 deletions
diff --git a/src/test/ui/variance/variance-types.stderr b/src/test/ui/variance/variance-types.stderr
new file mode 100644
index 000000000..8358b18b7
--- /dev/null
+++ b/src/test/ui/variance/variance-types.stderr
@@ -0,0 +1,38 @@
+error[E0208]: [-, o, o]
+  --> $DIR/variance-types.rs:10:1
+   |
+LL | struct InvariantMut<'a,A:'a,B:'a> {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error[E0208]: [o]
+  --> $DIR/variance-types.rs:15:1
+   |
+LL | struct InvariantCell<A> {
+   | ^^^^^^^^^^^^^^^^^^^^^^^
+
+error[E0208]: [o]
+  --> $DIR/variance-types.rs:20:1
+   |
+LL | struct InvariantIndirect<A> {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error[E0208]: [+]
+  --> $DIR/variance-types.rs:25:1
+   |
+LL | struct Covariant<A> {
+   | ^^^^^^^^^^^^^^^^^^^
+
+error[E0208]: [-]
+  --> $DIR/variance-types.rs:30:1
+   |
+LL | struct Contravariant<A> {
+   | ^^^^^^^^^^^^^^^^^^^^^^^
+
+error[E0208]: [+, -, o]
+  --> $DIR/variance-types.rs:35:1
+   |
+LL | enum Enum<A,B,C> {
+   | ^^^^^^^^^^^^^^^^
+
+error: aborting due to 6 previous errors
+