Struct rustc::infer::combine::CombineFields [−] [src]

pub struct CombineFields<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> {
    pub infcx: &'a InferCtxt<'a, 'gcx, 'tcx>,
    pub a_is_expected: bool,
    pub trace: TypeTrace<'tcx>,
    pub cause: Option<Cause>,
    pub obligations: PredicateObligations<'tcx>,
}
Unstable (rustc_private)

Fields

infcx: &'a InferCtxt<'a, 'gcx, 'tcx>
Unstable (rustc_private)
a_is_expected: bool
Unstable (rustc_private)
trace: TypeTrace<'tcx>
Unstable (rustc_private)
cause: Option<Cause>
Unstable (rustc_private)
obligations: PredicateObligations<'tcx>
Unstable (rustc_private)

Methods

impl<'a, 'gcx, 'tcx> CombineFields<'a, 'gcx, 'tcx>
[src]

fn tcx(&self) -> TyCtxt<'a, 'gcx, 'tcx>

fn switch_expected(&self) -> CombineFields<'a, 'gcx, 'tcx>

fn equate(&self) -> Equate<'a, 'gcx, 'tcx>

fn bivariate(&self) -> Bivariate<'a, 'gcx, 'tcx>

fn sub(&self) -> Sub<'a, 'gcx, 'tcx>

fn lub(&self) -> Lub<'a, 'gcx, 'tcx>

fn glb(&self) -> Glb<'a, 'gcx, 'tcx>

fn instantiate(&self, a_ty: Ty<'tcx>, dir: RelationDir, b_vid: TyVid) -> RelateResult<'tcx, ()>

impl<'a, 'gcx, 'tcx> CombineFields<'a, 'gcx, 'tcx>
[src]

fn higher_ranked_sub<T>(&self, a: &Binder<T>, b: &Binder<T>) -> RelateResult<'tcx, Binder<T>> where T: Relate<'tcx>

fn higher_ranked_lub<T>(&self, a: &Binder<T>, b: &Binder<T>) -> RelateResult<'tcx, Binder<T>> where T: Relate<'tcx>

fn higher_ranked_glb<T>(&self, a: &Binder<T>, b: &Binder<T>) -> RelateResult<'tcx, Binder<T>> where T: Relate<'tcx>

Trait Implementations

Derived Implementations

impl<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> Clone for CombineFields<'a, 'gcx, 'tcx>
[src]

fn clone(&self) -> CombineFields<'a, 'gcx, 'tcx>

Returns a copy of the value. Read more

fn clone_from(&mut self, source: &Self)
1.0.0

Performs copy-assignment from source. Read more