PEP 718: More rationale, use-cases and expansion on monomorphisation

[Gobot1234]

• Change is either:
  • To a Draft PEP
  • To an Accepted or Final PEP, with Steering Council approval
  • To fix an editorial issue (markup, typo, link, header, etc)
• PR title prefixed with PEP number (e.g. PEP 123: Summary of changes)

---

📚 Documentation preview 📚: https://pep-previews--3631.org.readthedocs.build/

[JelleZijlstra]

This is maybe a better fit for the discussion, but I find this example disturbing, because it seems I could also write foo[int](b"hello"), match the Sequence part of the Union, and now the type checker would infer that the function returns list[bytes] instead of list[int]. Isn't that inherently unsound?

[Gobot1234]

Hmm, I do see your point here but isn't the current situation still unsound because the choosing of the type from the type checker is still up to its logic?