Trait rustc_traits::chalk::lowering::LowerInto
source · 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
sourcefn lower_into(self, interner: RustInterner<'tcx>) -> T
fn lower_into(self, interner: RustInterner<'tcx>) -> T
Lower a rustc construct (e.g., ty::TraitPredicate
) to a chalk type, consuming self
.