fn strange[T](a T, b T) T {
    if a != 0 {
        $match T {
            u8 {
                return a
            }
            i8 {
                if a > 0 {
                    return a
                } else {
                    return b
                }
            }
            $else {
                $compile_error('unknown')
            }
        }
    } else {
        return b
    }
}

fn test_main() {
    assert strange[u8](0, 1) == 1
    assert strange[i8](0, 1) == 1
}