Enable 440 run tests that pass.

Note that some of them may pass due to several bugs that interfere.

1 files changed, 34 insertions, 0 deletions

diff --git a/tests/run/t3619.scala b/tests/run/t3619.scala
new file mode 100644
index 000000000..75b0d3cf7
--- /dev/null
+++ b/tests/run/t3619.scala
@@ -0,0 +1,34 @@
+class Dep(x: Int)(implicit val nameClash: String)
+
+object Test extends dotty.runtime.LegacyApp {
+  implicit val nameClash: String = "meh"
+
+  def meth(implicit w: String) = 1
+
+  // when typing Meh's default constructor Meh.this.nameClash (inherited from Dep)
+  // shadows Test.nameClash, thus, when inferring the argument `w` in the call to meth,
+  // Test.nameClash is not eligible statically, Meh.this.nameClash is picked (which then causes the VerifyError)
+  // BUG: Meth.this.nameClash should not be in (the implicit) scope during the super constructor call in the first place
+  class Meh extends Dep(meth)
+  /*
+    class Meh extends Dep {
+      def this() {
+        this(Test.this.meth(Meh.this.nameClash))(Test.this.nameClash)
+      }
+    }
+  */
+
+  new Meh
+}
+
+
+/*
+  {
+    def this(a: String, b: Int) {
+      this()
+    }
+    def this(x: String) {
+      this(Meh.this.nameClash, 1)
+    }
+  }
+*/