Call these methods from high level stable_mir::trait_decl(trait_def) and so on

This commit is contained in:
Santiago Pastorino 2023-08-28 17:49:36 -03:00
parent 079e3732cc
commit 5ab9616d03
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF

View File

@ -120,21 +120,9 @@ pub struct GenericDef(pub(crate) DefId);
#[derive(Clone, Copy, PartialEq, Eq, Debug)]
pub struct ConstDef(pub(crate) DefId);
impl TraitDef {
pub fn trait_decl(&self) -> TraitDecl {
with(|cx| cx.trait_decl(self))
}
}
#[derive(Clone, PartialEq, Eq, Debug)]
pub struct ImplDef(pub(crate) DefId);
impl ImplDef {
pub fn trait_impl(&self) -> ImplTrait {
with(|cx| cx.trait_impl(self))
}
}
#[derive(Clone, Debug)]
pub struct GenericArgs(pub Vec<GenericArgKind>);