f() g() { if f() { } else { } } //@PRACOWNIA //@should_not_typecheck