From d00cd3d1778d7e78cc9d9c10dc5536c702d3722f Mon Sep 17 00:00:00 2001
From: Hamza REMMAL <hamza@remmal.dev>
Date: Sat, 11 May 2024 19:13:06 +0200
Subject: [PATCH] Add checkfile for ScalaCheck

---
 tests/init-global/warn/ScalaCheck.check | 10 ++++++++++
 tests/init-global/warn/ScalaCheck.scala |  2 +-
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100644 tests/init-global/warn/ScalaCheck.check

diff --git a/tests/init-global/warn/ScalaCheck.check b/tests/init-global/warn/ScalaCheck.check
new file mode 100644
index 000000000000..32fad69cfc57
--- /dev/null
+++ b/tests/init-global/warn/ScalaCheck.check
@@ -0,0 +1,10 @@
+-- Warning: tests/init-global/warn/ScalaCheck.scala:16:9 ---------------------------------------------------------------
+16 |  object OptMinSuccess extends IntOpt:  // warn
+   |         ^
+   |       Cyclic initialization: object OptMinSuccess -> object FirstParser -> object OptMinSuccess. Calling trace:
+   |       ├── object OptMinSuccess extends IntOpt:  // warn	[ ScalaCheck.scala:16 ]
+   |       │   ^
+   |       ├── object FirstParser extends CmdLineParser:	[ ScalaCheck.scala:15 ]
+   |       │   ^
+   |       └── val opts = Some(OptMinSuccess)	[ ScalaCheck.scala:21 ]
+   |                           ^^^^^^^^^^^^^
diff --git a/tests/init-global/warn/ScalaCheck.scala b/tests/init-global/warn/ScalaCheck.scala
index 574db37e8585..34b248bcfd68 100644
--- a/tests/init-global/warn/ScalaCheck.scala
+++ b/tests/init-global/warn/ScalaCheck.scala
@@ -18,5 +18,5 @@ object FirstParser extends CmdLineParser:
     val names = Set("bla")
     val help = "bla"
 
-  val opts = List(OptMinSuccess)
+  val opts = Some(OptMinSuccess)
   val a = "FirstParser"