/// Create a new termification context.
Create a new termification context.
Create a new termification context .
pub fn new2(ctx: hir::AllocContext<'t>) -> Self {
        TermContext {
            ctx: ctx,
            scope: ctx.scope,
            marker: PhantomData,
        }
    }
pub fn new2 ( ctx : hir :: AllocContext < ' t > ) -> Self { TermContext { ctx : ctx , scope : ctx . scope , marker : PhantomData , } }
Create a new termification context.
Create a new termification context .
ctx
hir::AllocContext<'t>