I'm concerned that the reading as "not" is specifically misleading, since in its generalization, that's not strictly what it means; it's more like "this specific declaration does not promise Copyable". In the fullness of time, we want to allow for conditionally copyable types, which would look like: enum Optional: ~Copyable { ... } extension O...