mixed-inspect-with-typeof-of-template-arg-list.cpp2

template <int i, int j>
auto calc() {
    return i + j;
}

fun: (v : _) -> int = {
    return inspect v -> int {
        is int  = calc<1,2>();
        is _ = 0;
    };
}

main: () -> int = {
    return fun(42);
}