diff options
Diffstat (limited to 'tests/pos/gadts2.scala')
| -rw-r--r-- | tests/pos/gadts2.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos/gadts2.scala b/tests/pos/gadts2.scala index 71089c0f7..bdf1c8e8a 100644 --- a/tests/pos/gadts2.scala +++ b/tests/pos/gadts2.scala @@ -10,7 +10,7 @@ object Test { def f[A](t: Term[A], c: Cell[A]): Unit = { t match { - case NumTerm(n) => c.x = MyDouble(1.0) // problem is: this assignment is not type correct, since gadt variable is forgotten + case NumTerm(n) => c.x = MyDouble(1.0) } } |