Struct rustc_trans::middle::infer::coercion::CoerceExperimental

pub struct Coerce<'f, 'tcx>(pub CombineFields<'f, 'tcx>);

Methods

impl<'f, 'tcx> Coerce<'f, 'tcx>

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

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

fn subtype(&self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<Option<AutoAdjustment<'tcx>>, type_err<'tcx>>

fn unpack_actual_value<T, F>(&self, a: &'tcx TyS<'tcx>, f: F) -> T

fn coerce_borrowed_pointer(&self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>, mutbl_b: Mutability) -> Result<Option<AutoAdjustment<'tcx>>, type_err<'tcx>>

fn coerce_borrowed_fn(&self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<Option<AutoAdjustment<'tcx>>, type_err<'tcx>>

fn coerce_unsafe_ptr(&self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>, mutbl_b: Mutability) -> Result<Option<AutoAdjustment<'tcx>>, type_err<'tcx>>