Struct chalk_ir::debug::CanonicalDisplay
source · [−]pub struct CanonicalDisplay<'a, T: HasInterner> {
canonical: &'a Canonical<T>,
interner: T::Interner,
}
Expand description
Helper struct for displaying canonicalized items.
Fields
canonical: &'a Canonical<T>
interner: T::Interner
Trait Implementations
Auto Trait Implementations
impl<'a, T> RefUnwindSafe for CanonicalDisplay<'a, T> where
T: RefUnwindSafe,
<<T as HasInterner>::Interner as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<T as HasInterner>::Interner: RefUnwindSafe,
impl<'a, T> Send for CanonicalDisplay<'a, T> where
T: Sync,
<<T as HasInterner>::Interner as Interner>::InternedCanonicalVarKinds: Sync,
<T as HasInterner>::Interner: Send,
impl<'a, T> Sync for CanonicalDisplay<'a, T> where
T: Sync,
<<T as HasInterner>::Interner as Interner>::InternedCanonicalVarKinds: Sync,
<T as HasInterner>::Interner: Sync,
impl<'a, T> Unpin for CanonicalDisplay<'a, T> where
<T as HasInterner>::Interner: Unpin,
impl<'a, T> UnwindSafe for CanonicalDisplay<'a, T> where
T: RefUnwindSafe,
<<T as HasInterner>::Interner as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<T as HasInterner>::Interner: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Cast for T
impl<T> Cast for T
sourcefn cast<U>(self, interner: U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.