From 5495b66a3c4e509fe09787d85ba76e5cfc165735 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Thu, 10 Feb 2022 13:32:39 +0100 Subject: [PATCH] Add regression test Closes https://github.com/lampepfl/dotty-feature-requests/issues/112 --- tests/pos/f112.scala | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/pos/f112.scala diff --git a/tests/pos/f112.scala b/tests/pos/f112.scala new file mode 100644 index 000000000000..ad19fc5c4b04 --- /dev/null +++ b/tests/pos/f112.scala @@ -0,0 +1,6 @@ +type X +val x: X = ??? +extension (x: X) def unapply(arg: Any): Boolean = true +def test = + ??? match + case x() =>