Add a total version of vec::last that has a precondition

1 files changed, 5 insertions, 0 deletions

diff --git a/src/lib/vec.rs b/src/lib/vec.rs
index daa1d499d58..8a20345b864 100644
--- a/src/lib/vec.rs
+++ b/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);