@@ -95,35 +95,35 @@ object Tiark6 {
95
95
}
96
96
97
97
object Indirect {
98
- trait B { type L >: Any }
99
- trait A { type L <: Nothing }
100
- trait U {
101
- trait X {
102
- val q : A & B = ???
103
- type M = q.L
104
- }
105
- final lazy val p : X = ???
106
- def brand (x : Any ): p.M = x // error: conflicting bounds
98
+ trait B { type L >: Any }
99
+ trait A { type L <: Nothing }
100
+ trait U {
101
+ trait X {
102
+ val q : A & B = ???
103
+ type M = q.L
107
104
}
105
+ final lazy val p : X = ???
106
+ def brand (x : Any ): p.M = x // error: conflicting bounds
107
+ }
108
108
def main (args : Array [String ]): Unit = {
109
109
val v = new U {}
110
110
v.brand(" boom!" ): Nothing
111
111
}
112
112
}
113
113
object Indirect2 {
114
- trait B { type L >: Any }
115
- trait A { type L <: Nothing }
116
- trait U {
117
- trait Y {
118
- val r : A & B = ???
119
- }
120
- trait X {
121
- val q : Y = ???
122
- type M = q.r.L
123
- }
124
- final lazy val p : X = ???
125
- def brand (x : Any ): p.M = x // error: conflicting bounds
114
+ trait B { type L >: Any }
115
+ trait A { type L <: Nothing }
116
+ trait U {
117
+ trait Y {
118
+ val r : A & B = ???
119
+ }
120
+ trait X {
121
+ val q : Y = ???
122
+ type M = q.r.L
126
123
}
124
+ final lazy val p : X = ???
125
+ def brand (x : Any ): p.M = x // error: conflicting bounds
126
+ }
127
127
def main (args : Array [String ]): Unit = {
128
128
val v = new U {}
129
129
v.brand(" boom!" ): Nothing
@@ -144,38 +144,38 @@ object Rec1 {
144
144
}
145
145
}
146
146
object Rec2 {
147
- trait B { type L >: Any }
148
- trait A { type L <: Nothing }
149
- trait U {
150
- trait Y {
151
- val r : A & B & Y
152
- }
153
- trait X {
154
- val q : Y = ???
155
- type M = q.r.L
156
- }
157
- final lazy val p : X = ???
158
- def brand (x : Any ): p.M = x // error: conflicting bounds
147
+ trait B { type L >: Any }
148
+ trait A { type L <: Nothing }
149
+ trait U {
150
+ trait Y {
151
+ val r : A & B & Y
152
+ }
153
+ trait X {
154
+ val q : Y = ???
155
+ type M = q.r.L
159
156
}
157
+ final lazy val p : X = ???
158
+ def brand (x : Any ): p.M = x // error: conflicting bounds
159
+ }
160
160
def main (args : Array [String ]): Unit = {
161
161
val v = new U {}
162
162
v.brand(" boom!" ): Nothing
163
163
}
164
164
}
165
165
object Indirect3 {
166
- trait B { type L >: Any }
167
- trait A { type L <: Nothing }
168
- trait U {
169
- trait Y {
170
- val r : Y & A & B = ???
171
- }
172
- trait X {
173
- val q : Y = ???
174
- type M = q.r.L
175
- }
176
- final lazy val p : X = ???
177
- def brand (x : Any ): p.M = x // error: conflicting bounds
166
+ trait B { type L >: Any }
167
+ trait A { type L <: Nothing }
168
+ trait U {
169
+ trait Y {
170
+ val r : Y & A & B = ???
178
171
}
172
+ trait X {
173
+ val q : Y = ???
174
+ type M = q.r.L
175
+ }
176
+ final lazy val p : X = ???
177
+ def brand (x : Any ): p.M = x // error: conflicting bounds
178
+ }
179
179
def main (args : Array [String ]): Unit = {
180
180
val v = new U {}
181
181
v.brand(" boom!" ): Nothing
0 commit comments