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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Modules

custom [
Experimental
]
eq [
Experimental
]
normalize [
Experimental
]
outlives [
Experimental
]
prove_predicate [
Experimental
]
subtype [
Experimental
]

Traits

QueryTypeOp [
Experimental
]

"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.

TypeOp [
Experimental
]

"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).