diff options
Diffstat (limited to 'tests/untried/neg/t900.check')
| -rw-r--r-- | tests/untried/neg/t900.check | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/neg/t900.check b/tests/untried/neg/t900.check new file mode 100644 index 000000000..6fe26a31a --- /dev/null +++ b/tests/untried/neg/t900.check @@ -0,0 +1,9 @@ +t900.scala:4: error: type mismatch; + found : Foo.this.x.type (with underlying type Foo.this.bar) + required: AnyRef +Note that bar is unbounded, which means AnyRef is not a known parent. +Such types can participate in value classes, but instances +cannot appear in singleton types or in reference comparisons. + def break(): x.type + ^ +one error found |