[Pitch] Elide `some` in Swift 6

[xwu (Xiaodi Wu)]

@ksluder

I don’t think that follows. Surely neither this proposal nor any other has contemplated some _Trivial?

Exactly that is surely contemplated:

@Joe_Groff

_Trivial is, as you noted, currently an internal layout constraint that's only used by specialization. But we do plan to expose it as a BitwiseCopyable generic constraint that can be used on generic parameters and protocol requirements soon.

---

@tgoyne

TSPL seems pretty unambiguous about it:

You can extend an existing type to adopt and conform to a new protocol

You can indeed extend an existing type to adopt and conform to a new protocol. The built-in AnyObject is, by definition, never new. TSPL very deftly doesn't describe conforming a type you don't own to a protocol you don't own, which—as noted in SE-0364—can lead to unpredictable behavior and will soon be called out as unsupported with a warning.