Struct rustc::middle::infer::combine::CombineFieldsExperimental [-]  [+] [src]

pub struct CombineFields<'a, 'tcx> {
    pub infcx: &'a InferCtxt<'a, 'tcx>,
    pub a_is_expected: bool,
    pub trace: TypeTrace<'tcx>,
}

Fields

infcx
a_is_expected
trace

Methods

impl<'f, 'tcx> CombineFields<'f, 'tcx>

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

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

Trait Implementations

Derived Implementations

impl<'a, 'tcx> Clone for CombineFields<'a, 'tcx>

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

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