Re-exports§
use std::cmp::Ordering;🔒use rustc_data_structures::intern::Interned;🔒use rustc_hir::def_id::DefId;🔒use rustc_macros::StableHash;🔒use rustc_macros::extension;🔒use rustc_span::bug;🔒use rustc_type_ir as ir;🔒use crate::ty;🔒use crate::ty::EarlyBinder;🔒use crate::ty::Ty;🔒use crate::ty::TyCtxt;🔒use crate::ty::TypeFlags;🔒use crate::ty::Upcast;🔒use crate::ty::UpcastFrom;🔒use crate::ty::WithCachedTypeInfo;🔒
Modules§
Structs§
- Clause
- A subset of predicates which can be assumed by the trait solver. They show up in
an item’s where clauses, hence the name
Clause, and may either be user-written (such as traits) or may be inserted during lowering. - Predicate
- A statement that can be proven by a trait solver. This includes things that may
show up in where clauses, such as trait predicates and projection predicates,
and also things that are emitted as part of type checking such as
DynCompatiblepredicate which is emitted when a type is coerced to a trait object.
Traits§
Type Aliases§
- Alias
Term - Alias
Term Kind - ArgOutlives
Clause - Clause
Kind - Coerce
Predicate - Existential
Predicate - Existential
Projection - Existential
Trait Ref - Host
Effect Clause - Normalizes
To - Outlives
Clause - Poly
Coerce Predicate - Poly
Existential Predicate - Poly
Existential Projection - Poly
Existential Trait Ref - Poly
Projection Clause - Poly
Region Outlives Clause - Poly
Subtype Predicate - Poly
Trait Clause - Poly
Trait Ref - Poly
Type Outlives Clause - Predicate
Kind - Projection
Clause - Region
Constraint - Region
EqPredicate - Region
Outlives Clause - Subtype
Predicate - Trait
Clause - Trait
Ref - Type
Outlives Clause