_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