f():bool
{
    return true + true
}

//@PRACOWNIA
//@should_not_typecheck