How to force add type annotation?

[tisonkun]

I have a function:

def report():
    return 42

I hope pyright would report that it misses the type annotation (for the return type).

I want this feature to ensure that all my Python code are annotated.

Somehow this script can correctly fail:

def report(x):
    return x

/Users/tison/GreptimeWorkspace/comdev/bin/weekly-report.py
  /Users/tison/GreptimeWorkspace/comdev/bin/weekly-report.py:5:27 - error: Type of "report" is partially unknown
    Type of "report" is "(x: Unknown) -> Unknown" (reportUnknownVariableType)
/Users/tison/GreptimeWorkspace/comdev/comdev/report.py
  /Users/tison/GreptimeWorkspace/comdev/comdev/report.py:1:5 - error: Return type is unknown (reportUnknownParameterType)
  /Users/tison/GreptimeWorkspace/comdev/comdev/report.py:1:12 - error: Type of parameter "x" is unknown (reportUnknownParameterType)
  /Users/tison/GreptimeWorkspace/comdev/comdev/report.py:1:12 - error: Type annotation is missing for parameter "x" (reportMissingParameterType)
  /Users/tison/GreptimeWorkspace/comdev/comdev/report.py:2:12 - error: Return type is unknown (reportUnknownVariableType)
5 errors, 0 warnings, 0 informations

... while this one, seems as long as pyright can infer the type, can omit the return type:

def report(x: int):
    return 42

[erictraut]

See this issue.

Out of curiosity, why do you want to require return type annotations in your code? It will not improve type safety.

[max-muoto]

A linter would probably be a better way to enforce this. You could utilize Ruff's ANN rule-set: https://docs.astral.sh/ruff/rules/#flake8-annotations-ann