---

yaml
---
r: 12879
b: refs/heads/master
c: 81caf92
h: refs/heads/master
i:
  12877: 8172fe8
  12875: 797d29d
  12871: 0cc2636
  12863: 8bda0cc
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 44c100c28df866041633a8338b7935d061afd9bb
+refs/heads/master: 81caf926b4ecf9a6c48f2f7ade2102e8876e6677
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/auxiliary/issue2378a.rs

@@ -0,0 +1,10 @@
+enum maybe<T> { just(T), nothing }
+
+impl methods<T:copy> for maybe<T> {
+    fn [](idx: uint) -> T {
+        alt self {
+          just(t) { t }
+          nothing { fail; }
+        }
+    }
+}

trunk/src/test/auxiliary/issue2378b.rs

@@ -0,0 +1,12 @@
+use issue2378a;
+
+import issue2378a::maybe;
+import issue2378a::methods;
+
+type two_maybes<T> = {a: maybe<T>, b: maybe<T>};
+
+impl methods<T:copy> for two_maybes<T> {
+    fn [](idx: uint) -> (T, T) {
+        (self.a[idx], self.b[idx])
+    }
+}

trunk/src/test/run-pass/issue2378c.rs

@@ -0,0 +1,14 @@
+// xfail-test -- #2378 unfixed 
+// aux-build:issue2378a.rs
+// aux-build:issue2378b.rs
+
+use issue2378a;
+use issue2378b;
+
+import issue2378a::{just, methods};
+import issue2378b::{methods};
+
+fn main() {
+    let x = {a: just(3), b: just(5)};
+    assert x[0u] == (3, 5);
+}