pub trait DeclEngineInsert<T>{
// Required method
fn insert(
&self,
decl: T,
parsed_decl_id: Option<&ParsedDeclId<T::ParsedType>>,
) -> DeclRef<DeclId<T>>;
}
pub trait DeclEngineInsert<T>{
// Required method
fn insert(
&self,
decl: T,
parsed_decl_id: Option<&ParsedDeclId<T::ParsedType>>,
) -> DeclRef<DeclId<T>>;
}