Skip to content

Commit 85360f3

Browse files
dwijnandWojciechMazur
authored andcommitted
Fix InferExpectedTypeSuite.bounds expectations..
[Cherry-picked 2405109]
1 parent f781b02 commit 85360f3

File tree

1 file changed

+6
-10
lines changed

1 file changed

+6
-10
lines changed

presentation-compiler/test/dotty/tools/pc/tests/InferExpectedTypeSuite.scala

+6-10
Original file line numberDiff line numberDiff 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
)

0 commit comments

Comments
 (0)