pub(crate) trait LowerInto<'tcx, T> {
    fn lower_into(self, interner: RustInterner<'tcx>) -> T;
}
Expand description

Essentially an Into with a &RustInterner parameter

Required Methods

Lower a rustc construct (e.g., ty::TraitPredicate) to a chalk type, consuming self.

Implementations on Foreign Types

Implementors