region-parameterization/variance inference. We now compute variance for type parameters but do not make use of it (most of the way towards #3598).