rustc_middle::ty

Trait TermKindPackExt

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

Required Methods§

source

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

Implementors§

source§

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