Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
inferred existential type crasher #4869
I initially reported this about getClass, but actually it has nothing to do with it.
The problem is hinted at via -Yinfer-debug:
[inferImplicit] result: SearchResult(immutable.this.List.canBuildFrom[C[_ <: Double]], TreeTypeSubstituter(List(type That),List(List[C[_ <: Double]])))
The type C[_ <: T] is inferred at multiple points, and the trip through inference ends up unpacking more than one existential. This is not too surprising given how much is taking place in a line like
Imported From: https://issues.scala-lang.org/browse/SI-4869?orig=1