f(x:bool):int
{
    if (x) {
    } else {
        return 0
    }
}
//@PRACOWNIA
//@should_not_typecheck