diff options
Diffstat (limited to 'tests/untried/neg/not-possible-cause.check')
-rw-r--r-- | tests/untried/neg/not-possible-cause.check | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/neg/not-possible-cause.check b/tests/untried/neg/not-possible-cause.check new file mode 100644 index 000000000..5c09fa154 --- /dev/null +++ b/tests/untried/neg/not-possible-cause.check @@ -0,0 +1,9 @@ +not-possible-cause.scala:2: error: type mismatch; + found : a.type (with underlying type A) + required: AnyRef +Note that A is bounded only by Equals, 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 foo[A <: Product](a: A) { type X = a.type } + ^ +one error found |