1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // pretty-expanded FIXME #23616
18 // Avoid using constants, which would trigger compile-time errors.
19 fn min_val
<T
: Int
>() -> T { Int::min_value() }
20 fn zero
<T
: Int
>() -> T { Int::zero() }
23 assert
!(thread
::spawn(move|| { min_val::<isize>() / -1; }
).join().is_err());
24 assert
!(thread
::spawn(move|| { min_val::<i8>() / -1; }
).join().is_err());
25 assert
!(thread
::spawn(move|| { min_val::<i16>() / -1; }
).join().is_err());
26 assert
!(thread
::spawn(move|| { min_val::<i32>() / -1; }
).join().is_err());
27 assert
!(thread
::spawn(move|| { min_val::<i64>() / -1; }
).join().is_err());
28 assert
!(thread
::spawn(move|| { 1isize / zero::<isize>(); }
).join().is_err());
29 assert
!(thread
::spawn(move|| { 1i8 / zero::<i8>(); }
).join().is_err());
30 assert
!(thread
::spawn(move|| { 1i16 / zero::<i16>(); }
).join().is_err());
31 assert
!(thread
::spawn(move|| { 1i32 / zero::<i32>(); }
).join().is_err());
32 assert
!(thread
::spawn(move|| { 1i64 / zero::<i64>(); }
).join().is_err());
33 assert
!(thread
::spawn(move|| { min_val::<isize>() % -1; }
).join().is_err());
34 assert
!(thread
::spawn(move|| { min_val::<i8>() % -1; }
).join().is_err());
35 assert
!(thread
::spawn(move|| { min_val::<i16>() % -1; }
).join().is_err());
36 assert
!(thread
::spawn(move|| { min_val::<i32>() % -1; }
).join().is_err());
37 assert
!(thread
::spawn(move|| { min_val::<i64>() % -1; }
).join().is_err());
38 assert
!(thread
::spawn(move|| { 1isize % zero::<isize>(); }
).join().is_err());
39 assert
!(thread
::spawn(move|| { 1i8 % zero::<i8>(); }
).join().is_err());
40 assert
!(thread
::spawn(move|| { 1i16 % zero::<i16>(); }
).join().is_err());
41 assert
!(thread
::spawn(move|| { 1i32 % zero::<i32>(); }
).join().is_err());
42 assert
!(thread
::spawn(move|| { 1i64 % zero::<i64>(); }
).join().is_err());