test/files/neg/gadts2-strict.check


1
2
3
4
5
6

gadts2-strict.scala:14: error: type mismatch;
 found   : Test.MyDouble
 required: a
      case NumTerm(n) => c.x = MyDouble(1.0)
                                       ^
one error found