harec

commit 180703b8bda1bcc214e6097c1758dab6f35f60ba
parent 11519092415f3ca5f62f71d30dee52d760390b56
Author: Drew DeVault <sir@cmpwn.com>
Date:   Sat, 16 Jan 2021 11:42:43 -0500

tests/13-tagged: simplify assertion

Diffstat:
M
tests/13-tagged.ha
 | 
4
+---

1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/tests/13-tagged.ha b/tests/13-tagged.ha
@@ -48,9 +48,7 @@ fn reduction() void = {
 	let a: (i8 | i16) = 42i8;
 	let b: (i16 | i8) = a;
 	let c: (i8 | i16 | i32) = a;
-	assert(a is i8);
-	assert(b is i8);
-	assert(c is i8);
+	assert(a is i8 && b is i8 && c is i8);
 	assert(size((i8 | i16 | i32)) == size((i8 | (i16 | i32))));
 	assert(size(integer) == size(signed));
 	assert(size(integer) != size((signed | unsigned)));