pub trait Annotation: Clone + Hash + Eq { }
A value that can annotate an expression node.
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".