ValTree

rustc_trait_selection::infer::canonical::ir::inherent

Trait ValTree 

Source 
pub trait ValTree<I>:
    Copy
    + Debug
    + Hash
    + Eq
where
    I: Interner<ValTree = Self>,
{
    // Required method
    fn kind(&self) -> &ValTreeKind<I>;
}

Required Methods§

Source

fn kind(&self) -> &ValTreeKind<I>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl<'tcx> ValTree<TyCtxt<'tcx>> for ValTree<'tcx>

Source§

fn kind(&self) -> &ValTreeKind<TyCtxt<'tcx>>

Implementors§