Struct rustc::middle::infer::coercion::CoerceExperimental

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

Methods

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

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

fn tys(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> CoerceResult<'tcx>

fn subtype(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> CoerceResult<'tcx>

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

fn coerce_borrowed_pointer(&self, a: Ty<'tcx>, b: Ty<'tcx>, mutbl_b: Mutability) -> CoerceResult<'tcx>

fn coerce_borrowed_fn(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> CoerceResult<'tcx>

fn coerce_unsafe_ptr(&self, a: Ty<'tcx>, b: Ty<'tcx>, mutbl_b: Mutability) -> CoerceResult<'tcx>