File tree Expand file tree Collapse file tree 1 file changed +6
-10
lines changed
presentation-compiler/test/dotty/tools/pc/tests Expand file tree Collapse file tree 1 file changed +6
-10
lines changed Original file line number Diff line number Diff line change @@ -252,40 +252,36 @@ class InferExpectedTypeSuite extends BasePCSuite:
252252 )
253253
254254// bounds
255- @ Ignore (" Bounds are not handled correctly." )
256255 @ Test def any =
257256 check(
258257 """ |trait Foo
259258 |def foo[T](a: T): Boolean = ???
260259 |val _ = foo(@@)
261260 |""" .stripMargin,
262- """ |<: Any
261+ """ |Any
263262 |""" .stripMargin
264263 )
265264
266- @ Ignore (" Bounds are not handled correctly." )
267265 @ Test def `bounds-1` =
268266 check(
269267 """ |trait Foo
270268 |def foo[T <: Foo](a: T): Boolean = ???
271269 |val _ = foo(@@)
272270 |""" .stripMargin,
273- """ |<: Foo
271+ """ |Foo
274272 |""" .stripMargin
275273 )
276274
277- @ Ignore (" Bounds are not handled correctly." )
278275 @ Test def `bounds-2` =
279276 check(
280277 """ |trait Foo
281278 |def foo[T >: Foo](a: T): Boolean = ???
282279 |val _ = foo(@@)
283280 |""" .stripMargin,
284- """ |:> Foo
285- |""" .stripMargin
281+ """ |Foo
282+ |""" .stripMargin // ideally Any (maybe?)
286283 )
287284
288- @ Ignore (" Bounds are not handled correctly." )
289285 @ Test def `bounds-3` =
290286 check(
291287 """ |trait A
@@ -294,6 +290,6 @@ class InferExpectedTypeSuite extends BasePCSuite:
294290 |def roo[F >: C <: A](f: F) = ???
295291 |val kjk = roo(@@)
296292 |""" .stripMargin,
297- """ |>: C <: A
298- |""" .stripMargin
293+ """ |C
294+ |""" .stripMargin // ideally A
299295 )
You can’t perform that action at this time.
0 commit comments