Skip to content

Commit 754ca02

Browse files
committed
Add tests for nullification of higher kinded types
1 parent e68dda9 commit 754ca02

File tree

2 files changed

+7
-0
lines changed

2 files changed

+7
-0
lines changed

tests/explicit-nulls/flexible-unpickle/Flexible_2.scala

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,3 +97,7 @@ def Flexible_2() =
9797

9898
val m: String = M.test(null)
9999

100+
val n1: List[Map[String, Int]] = ???
101+
val n2 = N[List]()
102+
val n3 = n2.accept[Any](x)
103+

tests/explicit-nulls/flexible-unpickle/Unsafe_1.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -73,3 +73,6 @@ object M {
7373
def test(input: => String): String = "foo " + input
7474
}
7575

76+
class N[F[_]] {
77+
def accept[A](arg: F[A]): Nothing = ???
78+
}

0 commit comments

Comments
 (0)