Struct rustc::middle::typeck::infer::coercion::Coerce[src]

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

Methods

impl<'f> Coerce<'f>

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

fn tys(&self, a: t, b: t) -> CoerceResult

fn subtype(&self, a: t, b: t) -> CoerceResult

fn unpack_actual_value(&self, a: t, f: |&sty| -> CoerceResult) -> CoerceResult

fn coerce_borrowed_pointer(&self, a: t, sty_a: &sty, b: t, mt_b: mt) -> CoerceResult

fn coerce_borrowed_string(&self, a: t, sty_a: &sty, b: t) -> CoerceResult

fn coerce_borrowed_vector(&self, a: t, sty_a: &sty, b: t, mutbl_b: Mutability) -> CoerceResult

fn coerce_borrowed_fn(&self, a: t, sty_a: &sty, b: t) -> CoerceResult

fn coerce_unsafe_ptr(&self, a: t, sty_a: &sty, b: t, mt_b: mt) -> CoerceResult

fn coerce_object(&self, a: t, sty_a: &sty, b: t, trait_def_id: DefId, trait_substs: &Substs, trait_store: TraitStore, bounds: BuiltinBounds) -> CoerceResult