I’m currently skiing and just following along between runs so I can’t offer links or a concrete example, but Hacklang/HHVM also supports defaults for generics based on other generics on a type.

Jon

On Mar 5, 2022, at 12:22, James H-B <gobot1234yt@gmail.com> wrote:

I've just realised Rust actually supports this, I might mention this, I'll have to think about how hard it is to implement. https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=9c7043e365f44f97f42a36e1cd62655d
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: jon@jonjanzen.com