1 2 3 4 5 6 7 8 9 10 11
test(x:bool) { if x { y:int } else { y:int[] } } //@PRACOWNIA //@stop_after typechecker