Anders Hovmöller

@srittau > In both cases, the hard part is finding common ground for tool manufacturers to support this notation. 100% agreed. It's clearly a "build it and they will come"...

@srittau Looking again at your example code I think you must have misunderstood the idea. Changing your example to what I want: ```py def print_html(html: HTMLString) -> None: ... html...

A discussion at https://github.com/microsoft/pylance-release/discussions/3952 lead to the concrete suggestion of a `Language` type used as `Language['filename_extension']`.

@erictraut I don't understand the distinction. Why can't `Language["html"]` be implemented as some variant of `Annotated[str, "html"]`? Anyway, I think my point was more about using the word "language" somewhere....

A related discussion for PyCharm: https://youtrack.jetbrains.com/issue/PY-53278/Cant-inject-template-language-into-Python-string

Well that's a bit discouraging! Or maybe it's an opportunity to make some really robust code to try to handle even that really bad data :P Can you attach such...

Am I reading this PR correctly in that it wants to make tests with frozen time not freeze to a predictable time but to whatever local time zone is on...

The proposed code change seems to be no change of behavior. Could you point out what it changes?

https://github.com/spulec/freezegun/issues/348 https://github.com/spulec/freezegun/issues/204 https://github.com/spulec/freezegun/issues/89 All seem like basically the same thing? #89 specifically has a long discussion where we try to figure out what it SHOULD be doing. I would welcome...

If you're not using pypy, I strongly recommend you switch to time-machine. It's quite easy to switch in my experience.