fn f[T]() int {
    $if T is int {
        return 1
    }
    $if T !is int {
        return -1
    }
    assert false
    return 0
}

fn test_generic_is() {
    assert f[int]() == 1
    assert f[bool]() == -1
}

fn g[T](t T) int {
    $if T is u8 || T is i8 {
        return 1
    }
    return 2
}

fn test_is_or() {
    assert g(u8(1)) == 1
    assert g(i8(1)) == 1
    assert g(1) == 2
}

fn test_i32_is_int() {
    a := i32(33)
    $if a !is $int {
        assert false
    }
}