---

yaml
---
r: 5049
b: refs/heads/master
c: 9f7ed2f
h: refs/heads/master
i:
  5047: fe89400
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 4fc72c21302d907a17affeaa4b72e114474410b0
+refs/heads/master: 9f7ed2f054c72dd0989b42ed3e6a839e64d9fa1a

trunk/src/lib/vec.rs

@@ -97,6 +97,11 @@ fn last<@T>(v: &[mutable? T]) -> option::t<T> {
     ret some(v[len(v) - 1u]);
 }
 
+/// Returns the last element of a non-empty vector `v`.
+fn last_total<@T>(v: &[mutable? T]) : is_not_empty(v) -> T {
+    ret v[len(v) - 1u];
+}
+
 /// Returns a copy of the elements from [`start`..`end`) from `v`.
 fn slice<@T>(v: &[mutable? T], start: uint, end: uint) -> [T] {
     assert (start <= end);