refactor categorization out of borrowck into its own module.

first step towards #3148 and #3024.

1 files changed, 20 insertions, 0 deletions

diff --git a/src/test/run-pass/region-return-interior-of-option-in-self.rs b/src/test/run-pass/region-return-interior-of-option-in-self.rs
new file mode 100644
index 00000000000..698d49c7319
--- /dev/null
+++ b/src/test/run-pass/region-return-interior-of-option-in-self.rs
@@ -0,0 +1,20 @@
+// xfail-test (#3148)
+
+struct cell<T> {
+    value: T;
+}
+
+struct cells<T> {
+    vals: ~[option<cell<T>>];
+}
+
+impl<T> &cells<T> {
+    fn get(idx: uint) -> &self/T {
+        match self.vals[idx] {
+          some(ref v) => &v.value,
+          none => fail
+        }
+    }
+}
+
+fn main() {}