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
The signature can't be that much simpler to trigger the bug. Some examples from the attachment:
//For the bug, the return type must mention T. Otherwise we get:deffooWorks1[T, Coll<:Traversable[T]](msg: String)(param1: Traversable[T])(param2: Coll) =thrownewException()
fooWorks1("")(List(1))(List(2))
//For the bug, there must be a parameter list before the mention of T. Otherwise we get:deffooWorks2[T, Coll<:Traversable[T]](param1: Traversable[T])(param2: Coll):Traversable[T] =thrownewException()
fooWorks2(List(1))(List(2))
deffooWorks3[T, Coll<:Traversable[T]](msg: String, param1: Traversable[T])(param2: Coll):Traversable[T] =thrownewException()
fooWorks3("", List(1))(List(2))
The attachment contains the examples above and some other variations; it can be cleaned up and used as test file, after the bug is fixed.
I did this testing on v2.10.0-M7-34-gfc698b2 (as described by git describe); but both the original bug on my codebase and the reduced example compile with 2.10.0-M5 and fail with 2.10.0-M6.
The text was updated successfully, but these errors were encountered:
This reduced example works in 2.9.x but not in recent 2.10.x:
-Xprint:typer
shows that Coll is inferred to beTraversable[Nothing]
, while it should beTravesable[Int]
The signature can't be that much simpler to trigger the bug. Some examples from the attachment:
The attachment contains the examples above and some other variations; it can be cleaned up and used as test file, after the bug is fixed.
I did this testing on v2.10.0-M7-34-gfc698b2 (as described by git describe); but both the original bug on my codebase and the reduced example compile with 2.10.0-M5 and fail with 2.10.0-M6.
The text was updated successfully, but these errors were encountered: