DetachHead
DetachHead
i think `exclude` and `include` are only relevant for the vscode extension when `basedpyright.analysis.diagnosticMode` is set to `"workspace"`, because when it's set to `"openFilesOnly"`, those open files are always included....
oh also if you only use `ignore` but not `exclude`, the cli wastes time analyzing the ignored files even though it's not going to show any of its diagnostics. `ignore`...
it's not just match statements. the issue is that equality checks on tuples don't narrow their type: ```py from typing import assert_never def bar(a: tuple[bool]) -> None: if a ==...
looks like it was fixed upstream for match statements but not if statements
i think these are 2 separate unrelated issues: > ``` > "a" is possibly unbound > ``` > > > > > > ``` > "b" is possibly unbound >...
ideally this would also work on `range`: ```py for _ in range(1): a = 1 print(a) # error: possibly undefined ``` edit: moved this to a separate issue: #815
looks like this is because `reportUnusedVariable` doesn't report error/warning/info diagnostic levels on function parameters, but it always reported the "unused" diagnostic. i think for backwards compatibility we should fix this...
can you add a 👍 react on this issue to vote for it. helps us prioritise based on demand. thanks!
since it requires you to specify a package name to verify the types of, this could be specified in the `pyproject.toml`/`pyrightconfig.json` which will tell pyright to run the package type...