c3c/test/test_suite/switch/failable_switch.c3

faultdef FOO;

fn void test()
{
    int x = 0;
    switch (x)
    {
        case FOO~ : // #error: 'int?' to 'int'
            x = x + 1;
    }
}