Struct rustc_trans::middle::infer::lub::LubUnstable [-] [+] [src]

pub struct Lub<'a, 'tcx> where 'tcx: 'a {
    // some fields omitted
}

"Least upper bound" (common supertype)

Methods

impl<'a, 'tcx> Lub<'a, 'tcx>

fn new(fields: CombineFields<'a, 'tcx>) -> Lub<'a, 'tcx>

Trait Implementations

impl<'a, 'tcx> TypeRelation<'a, 'tcx> for Lub<'a, 'tcx>

fn tag(&self) -> &'static str

fn tcx(&self) -> &'a ctxt<'tcx>

fn a_is_expected(&self) -> bool

fn relate_with_variance<T>(&mut self, variance: Variance, a: &T, b: &T) -> Result<T, type_err<'tcx>> where T: Relate<'a, 'tcx>

fn tys(&mut self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<&'tcx TyS<'tcx>, type_err<'tcx>>

fn regions(&mut self, a: Region, b: Region) -> Result<Region, type_err<'tcx>>

fn binders<T>(&mut self, a: &Binder<T>, b: &Binder<T>) -> Result<Binder<T>, type_err<'tcx>> where T: Relate<'a, 'tcx>

fn relate<T>(&mut self, a: &T, b: &T) -> Result<T, type_err<'tcx>> where T: Relate<'a, 'tcx>

impl<'a, 'tcx> LatticeDir<'a, 'tcx> for Lub<'a, 'tcx>

fn infcx(&self) -> &'a InferCtxt<'a, 'tcx>

fn relate_bound(&self, v: &'tcx TyS<'tcx>, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<(), type_err<'tcx>>