bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add missing high-level stable_mir::generics_of fn

Browse source
This commit is contained in:
Santiago Pastorino 2023-08-25 09:42:57 -03:00
parent b60f7b51a2
commit 3dd1c6bc98
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_smir/src/stable_mir/mod.rs
View file

@ -109,6 +109,10 @@ pub fn trait_impl(trait_impl: &ImplDef) -> ImplTrait {
with(|cx| cx.trait_impl(trait_impl))
}
pub fn generics_of(generic_def: &GenericDef) -> Generics {
with(|cx| cx.generics_of(generic_def))
}
pub fn predicates_of(trait_def: &TraitDef) -> GenericPredicates {
with(|cx| cx.predicates_of(trait_def))
}