pub trait ExprContext<'t>: SessionContext + AllocInto<'t, IntegerConst<'t>> + AllocOwnedInto<'t, dyn Const2<'t>> + AllocOwnedInto<'t, dyn Type> { }
Expand description

A context that provides the facilities to operate on expressions.

Implementors