rustc_infer::infer::canonical::ir

Trait Upcast

source
pub trait Upcast<I, T> {
    // Required method
    fn upcast(self, interner: I) -> T;
}
Expand description

An Into-like trait that takes TyCtxt to perform interner-specific transformations.

Required Methods§

source

fn upcast(self, interner: I) -> T

Implementors§

source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,