pub struct RefinementKeyArena { /* private fields */ }Implementations§
Source§impl RefinementKeyArena
impl RefinementKeyArena
pub fn leaf(&mut self, def: DefId) -> *const RefinementKey
Source§impl RefinementKeyArena
impl RefinementKeyArena
pub fn node( &mut self, parent: *const RefinementKey, def: DefId, prop_name: &String, ) -> *const RefinementKey
Trait Implementations§
Source§impl Debug for RefinementKeyArena
impl Debug for RefinementKeyArena
Auto Trait Implementations§
impl !Send for RefinementKeyArena
impl !Sync for RefinementKeyArena
impl Freeze for RefinementKeyArena
impl RefUnwindSafe for RefinementKeyArena
impl Unpin for RefinementKeyArena
impl UnsafeUnpin for RefinementKeyArena
impl UnwindSafe for RefinementKeyArena
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more