DetachHead
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...
@steve-mavens raised #14473
It doesn't say what new codes there are