Merge pull request #6749 from dotty-staging/add-tests

Miscellaneous tests

Author: odersky

tests/pos/i6670.scala

@@ -0,0 +1,13 @@
+case class X[A](
+  foo: A,
+  bar: String = ""
+) {
+  def copy[A](
+    foo: A = foo,
+    bar: String = bar
+  ): X[A] = ???
+}
+object Test {
+  val x = X(1)
+  x.copy(bar = "BAZ")
+}

tests/pos/t11593.check

@@ -0,0 +1 @@
+java.util.Properties

tests/pos/t11593/Properties.scala

@@ -0,0 +1,2 @@
+package foo
+class Properties

tests/pos/t11593/Test.scala

@@ -0,0 +1,10 @@
+package foo {
+  import java.util._
+  object X {
+    def bar(x: Properties): Unit = println(x.getClass.getName)
+    bar(new Properties)
+  }
+}
+object Test extends App {
+  foo.X
+}