Remove contraction. The contraction rules predated the notion of an

empty region, and they complicate region inference to no particular end.
They also lead in some cases to spurious errors like #29048 (though in
some cases these errors are helpful in tracking down missing
constraints).

Author: nikomatsakis