[][src]Module rustc::traits::query::type_op

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Modules

ascribe_user_typeInternal
customInternal
eqInternal
implied_outlives_boundsInternal
normalizeInternal
outlivesInternal
prove_predicateInternal
subtypeInternal

Structs

AscribeUserTypeInternal
EqInternal
NormalizeInternal
ProvePredicateInternal
SubtypeInternal

Traits

QueryTypeOpInternal

"Query type ops" are type ops that are implemented using a canonical query. The Self type here contains the kernel of information needed to do the operation -- TypeOp is actually implemented for ParamEnvAnd<Self>, since we always need to bring along a parameter environment as well. For query type-ops, we will first canonicalize the key and then invoke the query on the tcx, which produces the resulting query region constraints.

TypeOpInternal

"Type ops" are used in NLL to perform some particular action and extract out the resulting region constraints (or an error if it cannot be completed).