StrictValueType protocol

_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.

21 Likes