basedpyright
basedpyright copied to clipboard
"syntax" errors in type annotations should have a code
x: "int str" # Unexpected token at end of expression
this is an invalid type annotation, but it's not a syntax error, and i can't suppress it
syntax errors should only be reported on actual syntax errors. since this code is syntactically valid, it should be a normal error with a diagnostic rule code