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
To reproduce, compile the following sources in this order in separate compilations: P.scala, A.scala, and then B.scala. When compiling B.scala, an error message is generated:
error:classfile needed by A is missing.
reference type_$2 of (t: <?>)(ss: <?>)Seq[S[_]] refers to nonexisting symbol.
P.scala:
traitS[T]
objectP {
defx(t: Int)(ss: Seq[S[_]]):Seq[S[_]] = ss
}
A.scala
objectA {
defss=P.x(3)(Nil)
}
B.scala:
objectC {
defx:Seq[S[_]] =A.ss
}
No error is generated if P.scala and A.scala are compiled together.
The text was updated successfully, but these errors were encountered:
Commit Message Bot (anonymous) said:
(extempore in r25219) Existentially quantified symbols, when read by the unpickler, do not
have the existential flag set. This leads to failure. This patch
seeks improvement. Closes #4757, review by odersky.
To reproduce, compile the following sources in this order in separate compilations: P.scala, A.scala, and then B.scala. When compiling B.scala, an error message is generated:
P.scala:
A.scala
B.scala:
No error is generated if P.scala and A.scala are compiled together.
The text was updated successfully, but these errors were encountered: