diff options
Diffstat (limited to 'test/files/neg/vincent1.check')
| -rw-r--r-- | test/files/neg/vincent1.check | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/files/neg/vincent1.check b/test/files/neg/vincent1.check index b9243e7560..32dffd2884 100644 --- a/test/files/neg/vincent1.check +++ b/test/files/neg/vincent1.check @@ -1,4 +1,7 @@ -vincent1.scala:7: type x.type escapes its defining scope as part of test.B { type T = x.T } +vincent1.scala:7: stable identifier required, but x found. + class Functor(x: A) { type T = x.T } + ^ +vincent1.scala:9: type x.type escapes its defining scope as part of test.B { type T = x.T } def functor(x: A): B { type T = x.T } = ^ -one error found +two errors found |