David Peter

Here's the full analysis across 116 million lines of Python source code (top 5k packages on PyPI). I think this is ample evidence to support the heuristic that `typing` should...

Thank you for reporting this. I minified this further to: ```py from collections.abc import Collection from typing import reveal_type def _(collect_str: Collection[str]): reveal_type(set(collect_str)) # set[Unknown] ``` Since the `set` constructor...

Thank you for reporting this. This seems like a problem that is related to invariance and the [float special case](https://docs.astral.sh/ty/reference/typing-faq/#why-does-ty-show-int-float-when-i-annotate-something-as-float). The error goes away if I change `v: T` to...

We now support generic PEP-613 type aliases, but it looks like we will also need to support generic protocols in our constraint solver.

Thank you for reporting this. We currently don't support return type inference yet (which is why the return type of `deco` is just `Unknown`), but plan to add it soon....

Thank you for reporting this!

> (Also having those docs would let us show those docs whenever you hover a special form, which would be incredible) Not directly, actually! I tried to implement this quickly...

Thank you for reporting this. I can't directly try your example because I don't have the full code and information about the project structure, but if I understand correctly, you...

> Wouldn't resolving to pydantic tell you that you that `CustomPydanticFeature` will be available? For the specific case of a `try: import …; except ImportError: …`, we might theoretically be...

@Andre-Medina It looks like `StrEnum` can't be imported? It's only available on 3.11 and later. How did you configure your Python version? Once you have fixed that, `should_be_enum_type` should indeed...