Struct rustc_typeck::middle::infer::coercion::CoerceExperimental
[-]
[+]
[src]
pub struct Coerce<'f, 'tcx>(pub CombineFields<'f, 'tcx>);
pub struct Coerce<'f, 'tcx>(pub CombineFields<'f, 'tcx>);
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>>
Prefix searches with a type followed by a colon (e.g.
fn:
) to restrict the search to a given type.
Accepted types are: fn
, mod
,
struct
, enum
,
trait
, typedef
(or
tdef
).