Changes to dealiasing and widening

1) Mappers and Accumulators now reduce typerefs over refinements but do not follow general type args

Following type args in asSeenFrom leads into trouble because it specializes covariant aliases too early. A later as seen from might specialize the same alias with a more specific type.

2) The isDependent test in method type now uses a custom accumulator, because it needs to not flag erroenously types of the form p.T where p is a method paramater and T is a type parameter if `p`'s type which is aliased to an argument type. It should consider the argument type instead. With the change to 1), this broke, and is fixed by 2).

3) Unstable prefixes in member are widened.

0 files changed, 0 insertions, 0 deletions