protocol ContiguousStorage<Element>: ~Escapable
So a noncopyable type could not conform to ContiguousStorage? Is this a necessary restriction?
Also, this pitch and its sister proposal seem to imply a lifting of restrictions around generics and suppressed constraints.