pub trait ParsedDeclEngineInsert<T> { // Required method fn insert(&self, decl: T) -> ParsedDeclId<T>; }