Add init test (#20356)

Add init test
scala · May 9, 2024 · 4bd3369 · 4bd3369
2 parents b10d64e + 67c68b8
commit 4bd3369
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 19 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Objects.scala b/compiler/src/dotty/tools/dotc/transform/init/Objects.scala
@@ -29,7 +29,6 @@ import scala.collection.mutable
 import scala.annotation.tailrec
 import scala.annotation.constructorOnly
 import dotty.tools.dotc.core.Flags.AbstractOrTrait
-import Decorators.*
 
 /** Check initialization safety of static objects
  *

diff --git a/tests/init-global/neg/TypeCast.scala b/tests/init-global/neg/TypeCast.scala
diff --git a/tests/init-global/warn/ScalaCheck.scala b/tests/init-global/warn/ScalaCheck.scala
@@ -0,0 +1,22 @@
+trait CmdLineParser:
+  outer =>
+
+  val a: String
+
+  trait Opt[+T]:
+    val default: T
+    val names: Set[String]
+    val help: String
+
+  trait IntOpt extends Opt[Int]:
+    println("outer = " + outer)
+    println("outer.a = " + outer.a)
+
+object FirstParser extends CmdLineParser:
+  object OptMinSuccess extends IntOpt:  // warn
+    val default = 100
+    val names = Set("bla")
+    val help = "bla"
+
+  val opts = List(OptMinSuccess)
+  val a = "FirstParser"