Have this code here:
# bring up string literal completion inside of `""` and confirm 2 literals are suggested
e: Literal["Hello", "There"] = ""
And query Pyrefly for the expected type of e. It will return a str literal with the value "" instead of the expected type.
Have this code here:
And query Pyrefly for the expected type of
e. It will return a str literal with the value "" instead of the expected type.