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