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
|
compile-time
uninitialized D: class D extends
initialized D: class D extends C
uninitialized x: val x: <?>
initialized x: val x: Int
uninitialized y: lazy val y: <?>
initialized y: lazy val y: Int
uninitialized z: def z: <?>
initialized z: def z: Int
uninitialized t: def t: <?>
initialized t: def t[T <: Int](x: D)(y: x.W): Int
uninitialized W: type W = String
initialized W: type W = String
uninitialized C: class C extends
initialized C: class C extends D
uninitialized O: object O
initialized O: object O
runtime
autoinitialized D: class D extends C
autoinitialized D: class D extends C
autoinitialized x: val x: Int
autoinitialized x: val x: Int
autoinitialized y: lazy val y: Int
autoinitialized y: lazy val y: Int
autoinitialized z: def z: Int
autoinitialized z: def z: Int
autoinitialized t: def t[T <: Int](x: D)(y: x.W): Int
autoinitialized t: def t[T <: Int](x: D)(y: x.W): Int
autoinitialized W: type W = String
autoinitialized W: type W = String
autoinitialized C: class C extends D
autoinitialized C: class C extends D
autoinitialized O: object O
autoinitialized O: object O
|
