pub trait HasKind<L: Language> { // Required method fn kind(&self) -> CoreKind<L>; }
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".