Module rustc_trait_selection::traits::query::type_op
source · Modules§
Structs§
- The output from performing a type op
Traits§
- “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 forParamEnvAnd<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. - “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).