multitype 0.21.1

Arithmetic type traits.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

// Copyright 2025-2026 Gabriel Bjørnager Jensen.
//
// SPDX: MIT OR Apache-2.0

#![cfg(test)]

use multitype::{Signed, Unsigned};

#[cfg(feature = "std")]
use std::panic::catch_unwind;

#[test]
fn test_cast_unsigned() {
	fn test<T: Signed<Unsigned: Default>>() {
		let _: T = T::Unsigned::default().cast_signed();
	}

	test::<i8>();
	test::<i16>();
	test::<i32>();
	test::<i64>();
	test::<i128>();
	test::<isize>();
}

#[cfg(feature = "std")]
#[test]
fn test_strict_abs() {
	catch_unwind(|| Signed::strict_abs(i8::MIN + 1)).unwrap();
	catch_unwind(|| Signed::strict_abs(i16::MIN + 1)).unwrap();
	catch_unwind(|| Signed::strict_abs(i32::MIN + 1)).unwrap();
	catch_unwind(|| Signed::strict_abs(i64::MIN + 1)).unwrap();
	catch_unwind(|| Signed::strict_abs(i128::MIN + 1)).unwrap();
	catch_unwind(|| Signed::strict_abs(isize::MIN + 1)).unwrap();

	catch_unwind(|| Signed::strict_abs(i8::MIN)).unwrap_err();
	catch_unwind(|| Signed::strict_abs(i16::MIN)).unwrap_err();
	catch_unwind(|| Signed::strict_abs(i32::MIN)).unwrap_err();
	catch_unwind(|| Signed::strict_abs(i64::MIN)).unwrap_err();
	catch_unwind(|| Signed::strict_abs(i128::MIN)).unwrap_err();
	catch_unwind(|| Signed::strict_abs(isize::MIN)).unwrap_err();
}