producer(): int[], bool

test()
{
    x:int[30], y:bool = producer()
}

//@PRACOWNIA
//@should_not_typecheck