DetachHead

Results 929 comments of DetachHead

pyright supports this using the following syntax: ```py foo: dict[{"a": str}] = {"a": "asdf"} ```

it's an experimental feature that i don't think is documented anywhere except this thread https://github.com/python/typing/discussions/1391

this feature is still supported in basedpyright

@KotlinIsland @vsytch since that's a different (and critical) problem i've raised it separately #234

did you press "UnJailbreak" in the xina app before re-jailbreaking with 1.1.4?

@ilevkivskyi the issue doesn't seem to have anything to do with the lambda's arguments being `Any`. here's another example ```py from typing import Callable (lambda: 1)() # no error a...