test(a:bool, b:bool):bool { return a < b } //@PRACOWNIA //@stop_after typechecker //@should_not_typecheck