test() { x:int = false } //@PRACOWNIA //@stop_after typechecker //@should_not_typecheck