pub trait DeclEngineGetParsedDecl<T>where
T: TyDeclParsedType,{
// Required method
fn get_parsed_decl(&self, decl_id: &DeclId<T>) -> Option<Declaration>;
}
pub trait DeclEngineGetParsedDecl<T>where
T: TyDeclParsedType,{
// Required method
fn get_parsed_decl(&self, decl_id: &DeclId<T>) -> Option<Declaration>;
}