blob: 7d6261906cb97cae25ed10f54ccc7872794d9662 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
class Module {}
abstract class T {
type moduleType <: Module
def module: moduleType
}
final class T1(val module: Module) extends T {
type moduleType = Module
}
final class T2(_module: Module) extends T {
type moduleType = Module
def module = _module
}
object Test extends Application {
type mType = Module
type tType = T { type moduleType <: mType }
// type tType = T { type moduleType <: Module } // runs successfully
// type tType = T // runs successfully
def f(ts: List[tType]): Unit = {
for (t <- ts; m = t.module) {}
ts.map(t => t.module).foreach { _ => () }
// ts.map(t => (t : T).module).foreach { _ => () } // runs successfully
}
f(new T1(new Module) :: new T2(new Module) :: Nil)
}
|