test(a:bool[], b:int[]):bool { return a > b } //@PRACOWNIA //@stop_after typechecker //@should_not_typecheck