To tweaks to derivedRefinedType for higher-kinded types.

1. The calculation of type parameters was wrong, and is fixed now.

2. The kind of bounds might need to be adjusted in the derived types.

Example: Assume

type CC[+T]
class C[T]

If we start with the HK-type CC[A] this is encoded as covariant: CC { type _$hk0 += A }. But once we substitute C for CC, the refined info bounds need to become non-variant. It used to be C {  type T += A }; now it's been corrected to be C { type T = A }.

0 files changed, 0 insertions, 0 deletions