Module predicate 

Re-exports

use std::hash::Hash; 🔒

use std::hash::Hash; 🔒

use std::fmt; 🔒

use std::iter; 🔒

use derive_where::derive_where; 🔒

use rustc_macros::Decodable_NoContext; 🔒

use rustc_macros::Encodable_NoContext; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::StableHash_NoContext; 🔒

use rustc_type_ir_macros::GenericTypeVisitable; 🔒

use rustc_type_ir_macros::Lift_Generic; 🔒

use rustc_type_ir_macros::TypeFoldable_Generic; 🔒

use rustc_type_ir_macros::TypeVisitable_Generic; 🔒

use crate::upcast::Upcast; 🔒

use crate::upcast::UpcastFrom; 🔒

use crate::visit::TypeVisitableExt as _; 🔒

use crate as ty; 🔒

use crate::Alias; 🔒

use crate::Interner; 🔒

use crate::Region; 🔒

use crate::inherent::*; 🔒

Structs

CoercePredicate

Encodes that we have to coerce from the a type to the b type.

ExistentialProjection

A ProjectionClause for an ExistentialTraitRef.

ExistentialTraitRef

An existential reference to a trait where the self type Self is erased.

HostEffectClause

NormalizesTo

Used by the new solver to normalize an alias. This always expects the term to be an unconstrained inference variable which is used as the output.

OutlivesClause

A: 'region

ProjectionClause

This kind of predicate has no direct correspondent in the syntax, but it roughly corresponds to the syntactic forms:

RegionEqPredicate

'a == 'b. For the rationale behind having this instead of a pair of bidirectional 'a: 'b and 'b: 'a, see this discusstion on Zulip.

SubtypePredicate

Encodes that a must be a subtype of b. The a_is_expected flag indicates whether the a type is the type that we should label as “expected” when presenting user diagnostics.

TraitClause

TraitRef

A complete reference to a trait.

Enums

BoundConstness

ClausePolarity

Polarity for a trait clause.

ExistentialPredicate

ImplPolarity

RegionConstraint