Module type_op

Modules

ascribe_user_type

custom

implied_outlives_bounds

normalize

outlives

prove_predicate

Structs

AscribeUserType

DeeplyNormalize

Normalizes, and deeply normalizes in the new solver.

DropckOutlives

Eq

ImpliedOutlivesBounds

Normalize

Normalizes, but not in the new solver.

ProvePredicate

Subtype

TypeOpOutput

The output from performing a type op

Traits

QueryTypeOp

“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

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