PEP 747: Rephrase rules for | operator. Remove ability to assign TypeExpr[X | Y | ...] to UnionType.

[davidfstr]

Also:

• Streamline compare/contrast of TypeExpr vs. TypeAlias

---

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

---

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

[davidfstr]

When you're ready to "hand the pen to someone else", I'm willing to do a revised draft that addresses this issue and others

Noted. In the meantime, I'll aim to proceed with a simpler design for dealing with the | operator, the last remaining major point of feedback besides the name of the concept. See the replacement PR for that simpler design.

other[ issues] that I still see as being problematic in latest draft

Speak now if you see significant issues beyond the two issues I mentioned above. From my POV this PEP is at a 90% point, so I'm not expecting to discover much in the way of new issues.