diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2013-10-23 22:22:59 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2013-10-23 22:23:28 -0400 |
| commit | a3ae48cb365f5d762265354e2dbdebfd757bd132 (patch) | |
| tree | 4643c50182bc2de2c2299e00aa1dc482ecc4a2ac /src/libstd | |
| parent | e2428b791c5a4074ca712ab3b145ee05c2d67ead (diff) | |
| download | rust-a3ae48cb365f5d762265354e2dbdebfd757bd132.tar.gz rust-a3ae48cb365f5d762265354e2dbdebfd757bd132.zip | |
mark some functions as returning !
Closes #10023
Diffstat (limited to 'src/libstd')
| -rw-r--r-- | src/libstd/rt/borrowck.rs | 2 | ||||
| -rw-r--r-- | src/libstd/unstable/lang.rs | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/src/libstd/rt/borrowck.rs b/src/libstd/rt/borrowck.rs index 4426a3eafe1..9d13e79464a 100644 --- a/src/libstd/rt/borrowck.rs +++ b/src/libstd/rt/borrowck.rs @@ -57,7 +57,7 @@ pub fn clear_task_borrow_list() { let _ = try_take_task_borrow_list(); } -unsafe fn fail_borrowed(box: *mut raw::Box<()>, file: *c_char, line: size_t) { +unsafe fn fail_borrowed(box: *mut raw::Box<()>, file: *c_char, line: size_t) -> ! { debug_borrow("fail_borrowed: ", box, 0, 0, file, line); match try_take_task_borrow_list() { diff --git a/src/libstd/unstable/lang.rs b/src/libstd/unstable/lang.rs index e30d0e77367..6dfb319d592 100644 --- a/src/libstd/unstable/lang.rs +++ b/src/libstd/unstable/lang.rs @@ -22,8 +22,7 @@ pub fn fail_(expr: *c_char, file: *c_char, line: size_t) -> ! { } #[lang="fail_bounds_check"] -pub fn fail_bounds_check(file: *c_char, line: size_t, - index: size_t, len: size_t) { +pub fn fail_bounds_check(file: *c_char, line: size_t, index: size_t, len: size_t) -> ! { let msg = format!("index out of bounds: the len is {} but the index is {}", len as uint, index as uint); do msg.with_c_str |buf| { |