Expand description
Code for the ‘normalization’ query. This consists of a wrapper
which folds deeply, invoking the underlying
normalize_canonicalized_projection_ty query when it encounters projections.
Structs§
- MaxEscaping
Bound 🔒VarVisitor - Normalization
Result - Result of the
normalize_canonicalized_{{,inherent_}projection,weak}_tyqueries. - Query
Normalizer 🔒