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
Visitor to find the maximum escaping bound var
Result from the normalize_projection_ty query.