f(x:int):bool

f(x:int):bool
{
    return true
}

//@PRACOWNIA
//@should_not_typecheck