Merge pull request #1597 from dotty-staging/fix-i1540

Fix #1540: overloaded get and isDefined in option-less patmat

2 files changed, 28 insertions, 0 deletions

diff --git a/tests/pos/i1540.scala b/tests/pos/i1540.scala
new file mode 100644
index 000000000..7aa24f459
--- /dev/null
+++ b/tests/pos/i1540.scala
@@ -0,0 +1,14 @@
+class Casey1(val a: Int) {
+  def isDefined: Boolean = true
+  def isDefined(x: Int): Boolean = ???
+  def get: Int = a
+  def get(x: Int): String = ???
+}
+object Casey1 { def unapply(a: Casey1) = a }
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val c @ Casey1(x) = new Casey1(0)
+    assert(x == c.get)
+  }
+}
diff --git a/tests/pos/i1540b.scala b/tests/pos/i1540b.scala
new file mode 100644
index 000000000..2b4c5408e
--- /dev/null
+++ b/tests/pos/i1540b.scala
@@ -0,0 +1,14 @@
+class Casey1[T](val a: T) {
+  def isDefined: Boolean = true
+  def isDefined(x: T): Boolean = ???
+  def get: T = a
+  def get(x: T): String = ???
+}
+object Casey1 { def unapply[T](a: Casey1[T]) = a }
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val c @ Casey1(x) = new Casey1(0)
+    assert(x == c.get)
+  }
+}