test compile
set opt_level=speed_and_size
set enable_verifier=1
target aarch64

function u0:1360(i8) -> i8 system_v {
block0(v0: i8):
    v1 = iconst.i64 0
    v2 = iconst.i64 1
    v3 = select v0, v1, v2
    v4 = icmp_imm eq v3, 1
    return v4
}

function u0:1360(i8) -> i8 system_v {
block0(v0: i8):
    v1 = iconst.i64 0
    v6 = icmp eq v0, v1  ; v1 = 0
;   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
; error: inst6 (v6 = icmp.i8 eq v0, v1  ; v1 = 0): arg 1 (v1) has type i64, expected i8

    return v6
}

; 1 verifier error detected (see above). Compilation aborted.