f()

g()
{
    while f() {
    }
}
//@PRACOWNIA
//@should_not_typecheck