pub trait DeclEngineGetParsedDeclId<T>where
T: TyDeclParsedType,{
// Required method
fn get_parsed_decl_id(
&self,
decl_id: &DeclId<T>,
) -> Option<ParsedDeclId<T::ParsedType>>;
}
pub trait DeclEngineGetParsedDeclId<T>where
T: TyDeclParsedType,{
// Required method
fn get_parsed_decl_id(
&self,
decl_id: &DeclId<T>,
) -> Option<ParsedDeclId<T::ParsedType>>;
}