diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-02-23 13:10:31 +0100 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-02-23 13:10:31 +0100 |
| commit | 6e7e4bb6b86c505a43214cc0c74668acefb54c1a (patch) | |
| tree | 0a6b0fdcbbb17edfa20b3a5ea700f80aa8fb2314 | |
| parent | 7a5c1765421cc011903b53e8c73afd5531f82702 (diff) | |
| download | scala-6e7e4bb6b86c505a43214cc0c74668acefb54c1a.tar.gz scala-6e7e4bb6b86c505a43214cc0c74668acefb54c1a.tar.bz2 scala-6e7e4bb6b86c505a43214cc0c74668acefb54c1a.zip | |
test for DependentMethodTpeConversionToFunctionError
| -rw-r--r-- | test/files/neg/error_dependentMethodTpeConversionToFunction.check | 4 | ||||
| -rw-r--r-- | test/files/neg/error_dependentMethodTpeConversionToFunction.scala | 5 |
2 files changed, 9 insertions, 0 deletions
diff --git a/test/files/neg/error_dependentMethodTpeConversionToFunction.check b/test/files/neg/error_dependentMethodTpeConversionToFunction.check new file mode 100644 index 0000000000..3496a552c4 --- /dev/null +++ b/test/files/neg/error_dependentMethodTpeConversionToFunction.check @@ -0,0 +1,4 @@ +error_dependentMethodTpeConversionToFunction.scala:4: error: method with dependent type (x: AnyRef)x.type cannot be converted to function value + val x: Any => Any = foo + ^ +one error found diff --git a/test/files/neg/error_dependentMethodTpeConversionToFunction.scala b/test/files/neg/error_dependentMethodTpeConversionToFunction.scala new file mode 100644 index 0000000000..22649e5098 --- /dev/null +++ b/test/files/neg/error_dependentMethodTpeConversionToFunction.scala @@ -0,0 +1,5 @@ +// test DependentMethodTpeConversionToFunctionError +object Test { + def foo(x: AnyRef): x.type = x + val x: Any => Any = foo +}
\ No newline at end of file |