---

yaml
---
r: 41848
b: refs/heads/master
c: b9920b0
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 01f26249bbaa58c7476c718badf301f4612785cd
+refs/heads/master: b9920b052be7f1e7461e6d45cfdd7474f0046d50
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 2f46b763da2c098913884f101b6d71d69af41b49
 refs/heads/try: 3d5418789064fdb463e872a4e651af1c628a3650

trunk/src/test/run-pass/issue-3888.rs renamed to trunk/src/test/compile-fail/issue-3888.rs

@@ -8,14 +8,16 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// xfail-test
-
+// n.b. This should be a run-pass test, but for now I'm testing
+// that we don't see an "unknown scope" error.
 fn vec_peek<T>(v: &r/[T]) -> Option< (&r/T, &r/[T]) > {
     if v.len() == 0 {
         None
     } else {
+        let vec_len = v.len();
         let head = &v[0];
-        let tail = v.view(1, v.len());
+        // note: this *shouldn't* be an illegal borrow! See #3888
+        let tail = v.view(1, vec_len); //~ ERROR illegal borrow: borrowed value does not live long enough
         Some( (head, tail) )
     }
 }

trunk/src/test/run-pass/issue-3888-2.rs

@@ -0,0 +1,17 @@
+// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+fn vec_peek<T>(v: &r/[T]) -> &r/[T] {
+// This doesn't work, and should.
+//    v.view(1, 5)
+    vec::view(v, 1, 5)
+}
+
+fn main() {}