---

yaml
---
r: 5517
b: refs/heads/master
c: 48c2c9b
h: refs/heads/master
i:
  5515: 58c6e07
v: v3

Author: jruderman

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 9029416e287e663bd6a1f48727509872669853c0
+refs/heads/master: 48c2c9b3a7da174d58219f2c2e0cc43926280f35

trunk/src/lib/vec.rs

@@ -18,7 +18,7 @@ fn reserve<@T>(&v: [mutable? T], n: uint) {
     rustrt::vec_reserve_shared(v, n);
 }
 
-fn len<T>(v: [mutable? T]) -> uint { ret rusti::vec_len(v); }
+pure fn len<T>(v: [mutable? T]) -> uint { unchecked { rusti::vec_len(v) } }
 
 type init_op<T> = fn(uint) -> T;
 
@@ -271,9 +271,7 @@ fn position_pred<T>(f: fn(T) -> bool, v: [T]) -> option::t<uint> {
 }
 
 pure fn same_length<T, U>(xs: [T], ys: [U]) -> bool {
-    let xlen = unchecked{ vec::len(xs) };
-    let ylen = unchecked{ vec::len(ys) };
-    xlen == ylen
+    vec::len(xs) == vec::len(ys)
 }
 
 // FIXME: if issue #586 gets implemented, could have a postcondition