blob: a16812d91dd576d63fd75587be90f6356c5501e8 (
plain) (
blame)
1
2
3
4
5
6
|
t6680b.scala:8: error: type mismatch;
found : String("not what you\'d expect")
required: ?Hidden1 where type ?Hidden1 (this is a GADT skolem)
case Concrete(f) => f("not what you'd expect")
^
one error found
|