trait SpecCopy { // Required method fn copy(self) -> Result<CopyState>; }
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".