diff options
Diffstat (limited to 'tests/untried/neg/valueclasses-pavlov.check')
-rw-r--r-- | tests/untried/neg/valueclasses-pavlov.check | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/untried/neg/valueclasses-pavlov.check b/tests/untried/neg/valueclasses-pavlov.check new file mode 100644 index 000000000..17102a0c6 --- /dev/null +++ b/tests/untried/neg/valueclasses-pavlov.check @@ -0,0 +1,7 @@ +valueclasses-pavlov.scala:8: error: double definition: +def foo(x: String): String at line 7 and +def foo(x: Box2): String at line 8 +have same type after erasure: (x: String)String + def foo(x: Box2) = "foo(Box2): ok" + ^ +one error found |