aboutsummaryrefslogtreecommitdiff
path: root/tests/disabled/not-representable/naming-resolution
diff options
context:
space:
mode:
Diffstat (limited to 'tests/disabled/not-representable/naming-resolution')
-rw-r--r--tests/disabled/not-representable/naming-resolution/callsite.scala10
-rw-r--r--tests/disabled/not-representable/naming-resolution/compiler.error8
-rw-r--r--tests/disabled/not-representable/naming-resolution/package.scala5
3 files changed, 23 insertions, 0 deletions
diff --git a/tests/disabled/not-representable/naming-resolution/callsite.scala b/tests/disabled/not-representable/naming-resolution/callsite.scala
new file mode 100644
index 000000000..036803a26
--- /dev/null
+++ b/tests/disabled/not-representable/naming-resolution/callsite.scala
@@ -0,0 +1,10 @@
+// This one should be rejected according to spec. The import takes precedence
+// over the type in the same package because the typeis declared in a
+// different compilation unit. scalac does not conform to spec here.
+package naming.resolution
+
+import java.nio.file._ // Imports `Files`
+
+object Resolution {
+ def gimmeFiles: Files = Files.list(Paths.get("."))
+}
diff --git a/tests/disabled/not-representable/naming-resolution/compiler.error b/tests/disabled/not-representable/naming-resolution/compiler.error
new file mode 100644
index 000000000..81d6b3cfa
--- /dev/null
+++ b/tests/disabled/not-representable/naming-resolution/compiler.error
@@ -0,0 +1,8 @@
+$ scalac tests/pending/naming-resolution/*.scala
+$ ./bin/dotc tests/pending/naming-resolution/*.scala
+tests/pending/naming-resolution/callsite.scala:6: error: type mismatch:
+ found : java.util.stream.Stream[java.nio.file.Path]
+ required: java.nio.file.Files
+ def gimmeFiles: Files = Files.list(Paths.get("."))
+ ^
+one error found
diff --git a/tests/disabled/not-representable/naming-resolution/package.scala b/tests/disabled/not-representable/naming-resolution/package.scala
new file mode 100644
index 000000000..f0e26ee95
--- /dev/null
+++ b/tests/disabled/not-representable/naming-resolution/package.scala
@@ -0,0 +1,5 @@
+package naming
+
+package object resolution {
+ type Files = java.util.stream.Stream[java.nio.file.Path]
+}