Drop out of date comment

odersky · odersky · commit edd9ed1857a8 · 2016-08-24T08:40:28.000+02:00
diff --git 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)
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ object Test {`
`10`	`10`
`11`	`11`	`def f[A](t: Term[A], c: Cell[A]): Unit = {`
`12`	`12`	`t match {`
`13`		`- case NumTerm(n) => c.x = MyDouble(1.0) // problem is: this assignment is not type correct, since gadt variable is forgotten`
	`13`	`+ case NumTerm(n) => c.x = MyDouble(1.0)`
`14`	`14`	`}`
`15`	`15`	`}`
`16`	`16`