Struct rustc_trans::middle::infer::combine::CombineFieldsExperimental

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: &'tcx TyS<'tcx>, dir: RelationDir, b_vid: TyVid) -> Result<(), type_err<'tcx>>

Trait Implementations

Derived Implementations

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

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

fn clone_from(&mut self, &CombineFields<'a, 'tcx>)