---

yaml
---
r: 12107
b: refs/heads/master
c: ee5d0f5
h: refs/heads/master
i:
  12105: 3bd498f
  12103: fc2a02a
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: bd6e6e349bd97c1f2b552124620f3a7f7332ed68
+refs/heads/master: ee5d0f5e3f1681a67452b5301958474343b90c51
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/compile-fail/mutable-huh-variance-vec4.rs

@@ -0,0 +1,46 @@
+fn main() {
+
+    // Note: here we do not have any type annotations
+    // but we do express conflicting requirements:
+
+    let v = [mut [0]];
+    let w = [mut [mut 0]];
+    let x = [mut [mut 0]];
+
+    fn f(&&v: [mut [int]]) {
+        v[0] = [3]
+    }
+
+    fn g(&&v: [const [const int]]) {
+    }
+
+    fn h(&&v: [mut [mut int]]) {
+        v[0] = [mut 3]
+    }
+
+    fn i(&&v: [mut [const int]]) {
+        v[0] = [mut 3]
+    }
+
+    fn j(&&v: [[const int]]) {
+    }
+
+    f(v);
+    g(v);
+    h(v); //! ERROR (values differ in mutability)
+    i(v); //! ERROR (values differ in mutability)
+    j(v); //! ERROR (values differ in mutability)
+
+    f(w); //! ERROR (values differ in mutability)
+    g(w);
+    h(w);
+    i(w); //! ERROR (values differ in mutability)
+    j(w); //! ERROR (values differ in mutability)
+
+    // Note that without adding f() or h() to the mix, it is valid for
+    // x to have the type [mut [const int]], and thus we can safely
+    // call g() and i() but not j():
+    g(x);
+    i(x);
+    j(x); //! ERROR (values differ in mutability)
+}