pub trait HasType { // Required method fn typ(&self) -> &Type; }
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".