blob: b2212fa23416164707f8183df7fdf33fb08d64bf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
object Test {
trait Engine1
implicit class EngineTools1[Params, R](e: Engine1) {
def asRequirement: Requirement1[Params, R] = ???
}
trait Requirement1[Params, R] {
def pathsIncludingSelf: Traversable[List[Reportable1[Params, R]]]
}
trait Reportable1[Params, R]
// "missing parameter type" error was swallowed in 2.11.0 leading to a crash
// in the backend.
//
// This error is itself a regression (or at least a change) in 2.11.0-M7,
// specifically in SI-7944. The type parameters to the implicit view
// `EngineTools1` are undetermined, and are now treated as type variables
// in the expected type of the closure argument to `withFilter`.
for (path: List[Any] <- (null : Engine1).asRequirement.pathsIncludingSelf.toList) {
???
}
}
|