diff --git a/library/src/scala/runtime/LazyVals.scala b/library/src/scala/runtime/LazyVals.scala
index 5d1e8e74b89d..d8c89c7abf28 100644
--- a/library/src/scala/runtime/LazyVals.scala
+++ b/library/src/scala/runtime/LazyVals.scala
@@ -45,7 +45,8 @@ object LazyVals {
 
   /* ------------- Start of public API ------------- */
 
-  sealed trait LazyValControlState
+  // This trait extends Serializable to fix #16806 that caused a race condition
+  sealed trait LazyValControlState extends Serializable
 
   /**
    * Used to indicate the state of a lazy val that is being
diff --git a/tests/run/i16806.check b/tests/run/i16806.check
new file mode 100644
index 000000000000..af917347162a
--- /dev/null
+++ b/tests/run/i16806.check
@@ -0,0 +1,2 @@
+Success
+Success
\ No newline at end of file
diff --git a/tests/run/i16806.scala b/tests/run/i16806.scala
new file mode 100644
index 000000000000..16c0fb0d3ef5
--- /dev/null
+++ b/tests/run/i16806.scala
@@ -0,0 +1,42 @@
+//scalajs: --skip
+import java.util.concurrent.Semaphore
+
+object Repro {
+
+  case object DFBit
+  final class DFError extends Exception("")
+  final class DFType[+T](val value: T | DFError) extends AnyVal
+
+  def asIR(dfType: DFType[DFBit.type]): DFBit.type = dfType.value match
+  case dfTypeIR: DFBit.type => dfTypeIR
+  case err: DFError         => throw new DFError
+
+  object Holder {
+    val s = new Semaphore(1, false)
+    final lazy val Bit = {
+      s.release()
+      new DFType[DFBit.type](DFBit)
+    }
+  }
+
+  @main
+  def Test =
+    val a = new Thread() {
+      override def run(): Unit =
+        Holder.s.acquire()
+        val x = Holder.Bit.value
+        assert(x.isInstanceOf[DFBit.type])
+        println("Success")
+    }
+    val b = new Thread() {
+      override def run(): Unit =
+        Holder.s.acquire()
+        val x = Holder.Bit.value
+        assert(x.isInstanceOf[DFBit.type])
+        println("Success")
+    }
+    a.start()
+    b.start()
+    a.join(300)
+    b.join(300)
+}
\ No newline at end of file