test: add test for #19762

Add a test to confirm issue#19762 is solved. [Cherry-picked 2a1d1b3]
scala · Jul 2, 2024 · ecb75d7 · ecb75d7
1 parent 5f7f0e4
commit ecb75d7
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/tests/neg/i19762.check b/tests/neg/i19762.check
@@ -0,0 +1,6 @@
+-- [E019] Syntax Error: tests/neg/i19762.scala:8:31 --------------------------------------------------------------------
+8 |    def combine(x: Int, y: Int)) = x + y // error
+  |                               ^
+  |                               Missing return type
+  |
+  | longer explanation available when compiling with `-explain`
diff --git a/tests/neg/i19762.scala b/tests/neg/i19762.scala
@@ -0,0 +1,8 @@
+trait Monoid[A]:
+  def combine(x: A, y: A): A
+  def empty: A
+
+object Monoid:
+  lazy val addInt: Monoid[Int] = new:
+    val empty = 0
+    def combine(x: Int, y: Int)) = x + y // error