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