Trait TermKindPackExt 

pub trait TermKindPackExt<'tcx> {
    // Required method
    fn pack(self) -> Term<'tcx>;
}

Required Methods

fn pack(self) -> Term<'tcx>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> TermKindPackExt<'tcx> for TermKind<'tcx>