Skip to content

--verifytypes should be run as part of the normal type checker #125

Open
#1314
Open
--verifytypes should be run as part of the normal type checker#125
#1314
Labels
cliconfigissues relating to config (pyproject.toml, pyrightconfig.json, LSP config or vscode extension)language servertype checking / lintingissues relating to existing diagnostic rules or proposals for new diagnostic rules
@DetachHead

Description

@DetachHead
DetachHead
opened on Mar 3, 2024

having it as a separate option that can only be run in the cli sucks because it can't be used with the language server and therefore won't show its errors in your IDE

Metadata

Metadata

Assignees

No one assigned

    Labels

    cliconfigissues relating to config (pyproject.toml, pyrightconfig.json, LSP config or vscode extension)language servertype checking / lintingissues relating to existing diagnostic rules or proposals for new diagnostic rules

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions