Open scabug opened 12 years ago
Imported From: https://issues.scala-lang.org/browse/SI-6211?orig=1 Reporter: @soc Affected Versions: 2.10.0-M1, 2.10.0-M2, 2.10.0-M3, 2.10.0-M4, 2.10.0-M5, 2.10.0-M6
@paulp said: Regression was in https://github.com/scala/scala/commit/b7b81ca286 .
@paulp said: By the way, from looking at the point of regression, it was apparent it would compile like this:
trait TFn1[I] { type In <: I }
trait >>[F1 <: TFn1[_], F2 <: TFn1[_]] extends TFn1[F1#In]
Here's another formulation which compiles which may be useful in the presumed non-toy example.
trait TFn1[I] { type In0 <: I ; type In = In0 }
trait >>[F1 <: TFn1[_], F2 <: TFn1[_]] extends TFn1[F1#In0]
@adriaanm said: seems fixed in 2.10.1
@JamesIry said: Not fixed in 2.10.1 or in 2.10.x.
The following (minimized) code compiled with 2.9, but fails to compile with 2.10: