f():bool { return true - true } //@PRACOWNIA //@should_not_typecheck