Struct rustc::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>(&'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>
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
).