test():int[42]

//@PRACOWNIA
//@should_not_typecheck