c3c/test/test_suite/arrays/inferred_array_err2.c3

fn void test()
{
    int[3] z;
    (int[*])(z); // #error: Inferred array types can only be used in declarations with initializers
}