pub enum Predicate<'tcx> {
Trait(Binder<TraitPredicate<'tcx>>),
Equate(Binder<EquatePredicate<'tcx>>),
RegionOutlives(Binder<OutlivesPredicate<Region, Region>>),
TypeOutlives(Binder<OutlivesPredicate<&'tcx TyS<'tcx>, Region>>),
Projection(Binder<ProjectionPredicate<'tcx>>),
}
Variants
Trait | Corresponds to where Foo : Bar<A,B,C> . Foo here would be
the Self type of the trait reference and A , B , and C
would be the parameters in the TypeSpace .
|
Equate | |
RegionOutlives | |
TypeOutlives | |
Projection | where ::Name == X, approximately.
See ProjectionPredicate struct for details.
|
Methods
Trait Implementations
impl<'tcx> Repr<'tcx> for Predicate<'tcx>
Derived Implementations
fn hash(&self, __arg_0: &mut __S)
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
).