Create a new pass to resolve named lifetimes; rscope is not only
used to indicate when anonymous regions (i.e., &T) are permitted
Introduce ty_fold mechanism and port our various folders to use
it. This should eventually be merged with the Subst trait.
Generalize AST and ty::Generics to accept multiple lifetimes.
Introduce new variance inference pass that replaces (and generalizes) old
region-parameterization/variance inference. We now compute variance for
type parameters but do not make use of it (most of the way towards #3598).
Move comparing of impl methods against trait from collect to check.
This code fits better in check because it is checking that the impl
matches the interface. This allows us to avoid the awkward constructions
that lazilly collect traits and so forth. It also permits us to make
use of the results of variance inference.
Improve error reporting for region inference failures to make use of
all the information it has at its disposal. Unfortunately this also
reveals that we need to improve the reporting heuristics further,
as sometimes the errors it chooses to emit seem somewhat mystifying
and are not related to the actual problem.
Update various tests and libraries that were incorrectly
annotated.
Rename and modernize region enum names
Update FIXMEs with issue numbers
Address comments from @pnkfelix (thanks for the detailed review)
Add new tests showing multiple lifetime parameters in use
Merge failures
Fix pretty printer when there are multiple lifetime parameters
xfail-fast regions-mock-tcx.rs
Make main public to accommodate check-fast
Make irrelevant changes to regions-mock-tcx to convince the pretty printer to emit the same thing twice in a row
auto merge of #10153 : nikomatsakis/rust/issue-4846-multiple-lifetime-parameters-7, r=pnkfelix

Fully support multiple lifetime parameters on types and elsewhere, removing special treatment for `'self`. I am submitting this a touch early in that I plan to push a new commit with more tests specifically targeting types with multiple lifetime parameters -- but the current code bootstraps and passes `make check`.

Fixes #4846