You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
See also #3577. In both tickets BoundedWildcardTypes are reaching pattern matches which are not expected them. We will play whack a mole with this sort of thing for the rest of our lives unless we can document and start enforcing a few invariants about when each species of tree is supposed to exist and what its hunting ground is supposed to be.
scala>caseclassC[T](x: T)
defined classC
scala>caseclassCS(xs: C[_]*)
defined classCS
scala>CS(C(5), C("abc")) match { caseCS(C(5), xs @ _*) => xs }
Exception in thread "main" scala.tools.nsc.FatalError: bad type:?>:Nothing<:Any(classscala.tools.nsc.symtab.Types$$BoundedWildcardType)
at scala.tools.nsc.symtab.classfile.Pickler$$Pickle.scala$$tools$$nsc$$symtab$$classfile$$Pickler$$Pickle$$$$putType(Pickler.scala:215)
at scala.tools.nsc.symtab.classfile.Pickler$$Pickle$$$$anonfun$$putTypes$$1.apply(Pickler.scala:218)
at scala.tools.nsc.symtab.classfile.Pickler$$Pickle$$$$anonfun$$putTypes$$1.apply(Pickler.scala:218)
at scala.collection.LinearSeqOptimized$$class.foreach(LinearSeqOptimized.scala:61)
at scala.collection.immutable.List.foreach(List.scala:45)
at scala.tools.nsc.symtab.classfile.Pickler$$Pickle.putTypes(Pickler.scala:218)
at scala.tools.nsc.symtab.classfile.Pickler$$Pickle.scala$$tools$$nsc$$symtab$$classfile$$Pickler$$Pickle$$$$putType(Pickler.scala:182)
at scala.tools.nsc.symtab.classfile.Pickler$$Pickle.scala$$tools$$nsc$$symtab$$classfile$$Pickler$$Pickle$$$$putType(Pickler.scala:205)
The text was updated successfully, but these errors were encountered:
@odersky said:
(In r23285) Closes #3614. Closes #3856. Refined handling of imports to avoid trees with null types in presentation compiler. Review by moors
See also #3577. In both tickets BoundedWildcardTypes are reaching pattern matches which are not expected them. We will play whack a mole with this sort of thing for the rest of our lives unless we can document and start enforcing a few invariants about when each species of tree is supposed to exist and what its hunting ground is supposed to be.
The text was updated successfully, but these errors were encountered: