Expand description
Methods for normalizing when you don’t care about regions (and
aren’t doing type inference). If either of those things don’t
apply to you, use infcx.normalize(...)
.
The methods in this file use a TypeFolder
to recursively process
contents, invoking the underlying
normalize_generic_arg_after_erasing_regions
query for each type
or constant found within. (This underlying query is what is cached.)