Expand description

Code for the ‘normalization’ query. This consists of a wrapper which folds deeply, invoking the underlying normalize_projection_ty query when it encounters projections.

Structs

Traits