KotlinIsland

does "output file" mean lock file? this is clear at: https://docs.astral.sh/uv/concepts/projects/#upgrading-locked-package-versions but confusing in the cli output

being 100% compatible with mypy sounds impossible and not actually all that beneficial. I think a practical approach would be something like: public interface is 484 compatible or would it...

only include the option when type checking is set to `all` / `recommended`

thank you for the report it is indeed true that `d["a"]` is of type `Any`, one immediate concern that i can see is that it is the variable that is...

> But isn't manually type-hinting the way to tell the linter that we know what type it is? yes, but the type is still `Any`. the purpose of the rule...

and `Enum`s

pyright already supports bare literals: ```py class A[T]: def __init__(self, t: T) -> None: pass B = A[1] b: B = A(2) ```

> i dont think abstract attributes are a thing, but they should be an attribute from a `Protocol` will be abstract: ```py from typing import Protocol class P(Protocol): a: int...

when `ClassVar`, the attribute isn't a 'field'. pydantic doesn't care what the value is of class variables and doesn't validate them. this is a static type checker moment, not a...

@arcanis True, I'll update the issue to focus on these details