pub trait Relate<'a, 'tcx>: TypeFoldable<'tcx> {
fn relate<R>(relation: &mut R, a: &Self, b: &Self) -> Result<Self, type_err<'tcx>> where R: TypeRelation<'a, 'tcx>;
}
Required Methods
Implementors
impl<'a, 'tcx> Relate<'a, 'tcx> for mt<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for BareFnTy<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for FnSig<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for Unsafety where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for Abi where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for ProjectionTy<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for ProjectionPredicate<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for Vec<Binder<ProjectionPredicate<'tcx>>> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for ExistentialBounds<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for EnumSet<BuiltinBound> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for TraitRef<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for &'tcx TyS<'tcx> where 'tcx: 'a
impl<'a, 'tcx> Relate<'a, 'tcx> for Region where 'tcx: 'a
impl<'a, 'tcx, T> Relate<'a, 'tcx> for Binder<T> where 'tcx: 'a, T: Relate<'a, 'tcx>
impl<'a, 'tcx, T> Relate<'a, 'tcx> for Rc<T> where 'tcx: 'a, T: Relate<'a, 'tcx>
impl<'a, 'tcx, T> Relate<'a, 'tcx> for Box<T> where 'tcx: 'a, T: Relate<'a, 'tcx>
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
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
).