chipsalliance · adkian-sifive · Oct 8, 2025 · Nov 19, 2025 · Nov 19, 2025 · Nov 19, 2025
diff --git a/src/test/scala-2/chiselTests/experimental/OpaqueTypeSpec.scala b/src/test/scala-2/chiselTests/experimental/OpaqueTypeSpec.scala
@@ -115,12 +115,12 @@ object OpaqueTypeSpec {
   class Boxed[T <: Data](gen: T) extends MaybeBoxed[T] {
     def boxed = true
     lazy val elements = SeqMap("underlying" -> gen)
-    def underlying = elements.head._2
+    def underlying = elements.head._2.asInstanceOf[T]
   }
   class Unboxed[T <: Data](gen: T) extends MaybeBoxed[T] with OpaqueType {
     def boxed = false
     lazy val elements = SeqMap("" -> gen)
-    def underlying = elements.head._2
+    def underlying = elements.head._2.asInstanceOf[T]
   }
 
   class MaybeNoAsUInt(noAsUInt: Boolean) extends Record with OpaqueType {

diff --git a/src/test/scala-2/chiselTests/interface/Drivers.scala b/src/test/scala-2/chiselTests/interface/Drivers.scala
@@ -5,7 +5,7 @@ import java.io.File
 import chisel3.RawModule
 import chisel3.stage.ChiselGeneratorAnnotation
 import circt.stage.{ChiselStage, FirtoolOption}
-import firrtl.AnnotationSeq
+import firrtl.{seqToAnnoSeq, AnnotationSeq}
 import firrtl.options.{StageError, StageUtils}
 import sys.process._
 

diff --git a/src/test/scala-2/chiselTests/simulator/SimulatorSpec.scala b/src/test/scala-2/chiselTests/simulator/SimulatorSpec.scala
@@ -5,7 +5,7 @@ import chisel3.layer.{block, Convention, Layer, LayerConfig}
 import chisel3.simulator._
 import org.scalatest.funspec.AnyFunSpec
 import org.scalatest.matchers.must.Matchers
-import org.scalatest.matchers.should.Matchers.convertToAnyShouldWrapper
+// import org.scalatest.matchers.should.Matchers.convertToStringShouldWrapperForVerb
 import svsim._
 
 class VerilatorSimulator(val workspacePath: String) extends Simulator[verilator.Backend] {

diff --git a/...-2/circtTests/stage/ChiselStageSpec.scala → ...2/chiselTests/stage/ChiselStageSpec.scala b/...-2/circtTests/stage/ChiselStageSpec.scala → ...2/chiselTests/stage/ChiselStageSpec.scala
@@ -123,12 +123,12 @@ object ChiselStageSpec {
   }
 
   class RecoverableErrorFakeSourceInfo extends RawModule {
-    implicit val info = SourceLine("Foo", 3, 10)
+    implicit val info: SourceLine = SourceLine("Foo", 3, 10)
     3.U >> -1
   }
 
   class ErrorCaughtByFirtool extends RawModule {
-    implicit val info = SourceLine("Foo", 3, 10)
+    implicit val info: SourceLine = SourceLine("Foo", 3, 10)
     val w = Wire(UInt(8.W))
   }
 

diff --git a/.../chisel3/internal/ContainsProbeSpec.scala → .../chisel3/internal/ContainsProbeSpec.scala b/.../chisel3/internal/ContainsProbeSpec.scala → .../chisel3/internal/ContainsProbeSpec.scala
diff --git a/.../chisel3/internal/NameCollisionSpec.scala → .../chisel3/internal/NameCollisionSpec.scala b/.../chisel3/internal/NameCollisionSpec.scala → .../chisel3/internal/NameCollisionSpec.scala
diff --git a/...la-2/chisel3/internal/NamespaceSpec.scala → ...cala/chisel3/internal/NamespaceSpec.scala b/...la-2/chisel3/internal/NamespaceSpec.scala → ...cala/chisel3/internal/NamespaceSpec.scala
diff --git a/...t/scala-2/chisel3/testers/TestUtils.scala → ...est/scala/chisel3/testers/TestUtils.scala b/...t/scala-2/chisel3/testers/TestUtils.scala → ...est/scala/chisel3/testers/TestUtils.scala
diff --git a/...experiemental/decode/TruthTableSpec.scala → .../experimental/decode/TruthTableSpec.scala b/...experiemental/decode/TruthTableSpec.scala → .../experimental/decode/TruthTableSpec.scala
diff --git a/src/test/scala/chiselTests/AdderTree.scala b/src/test/scala/chiselTests/AdderTree.scala
@@ -20,7 +20,7 @@ class AdderTreeTester(bitWidth: Int, numsToAdd: List[Int]) extends Module {
   val dut = Module(new AdderTree(genType, numsToAdd.size))
   dut.io.numIn := VecInit(numsToAdd.map(x => x.asUInt(bitWidth.W)))
   val sumCorrect = dut.io.numOut === (numsToAdd.reduce(_ + _) % (1 << bitWidth)).asUInt(bitWidth.W)
-  assert(sumCorrect)
+  chisel3.assert(sumCorrect)
   stop()
 }
 

diff --git a/...2/chiselTests/AnalogIntegrationSpec.scala → ...a/chiselTests/AnalogIntegrationSpec.scala b/...2/chiselTests/AnalogIntegrationSpec.scala → ...a/chiselTests/AnalogIntegrationSpec.scala
diff --git a/.../scala-2/chiselTests/AsyncResetSpec.scala → ...st/scala/chiselTests/AsyncResetSpec.scala b/.../scala-2/chiselTests/AsyncResetSpec.scala → ...st/scala/chiselTests/AsyncResetSpec.scala
diff --git a/...ala-2/chiselTests/AutoClonetypeSpec.scala → ...scala/chiselTests/AutoClonetypeSpec.scala b/...ala-2/chiselTests/AutoClonetypeSpec.scala → ...scala/chiselTests/AutoClonetypeSpec.scala
@@ -344,7 +344,7 @@ class AutoClonetypeSpec extends AnyFlatSpec with Matchers {
     }
     emitCHIRRTL {
       new Module {
-        implicit val x = 8
+        implicit val x: Int = 8
         val in = IO(Input(new MyBundle))
         val out = IO(Output(new MyBundle))
         out := in

diff --git a/...ala-2/chiselTests/BetterNamingTests.scala → ...scala/chiselTests/BetterNamingTests.scala b/...ala-2/chiselTests/BetterNamingTests.scala → ...scala/chiselTests/BetterNamingTests.scala
diff --git a/src/test/scala-2/chiselTests/BlackBox.scala → src/test/scala/chiselTests/BlackBox.scala b/src/test/scala-2/chiselTests/BlackBox.scala → src/test/scala/chiselTests/BlackBox.scala
@@ -374,7 +374,7 @@ class BlackBoxSpec extends AnyFlatSpec with Matchers with ChiselSim with FileChe
     object A extends layer.Layer(layer.LayerConfig.Extract())
 
     sealed trait NoIo { this: BlackBox @nowarn("cat=deprecation") =>
-      final val io = IO(new Bundle {})
+      final val io = chisel3.IO(new Bundle {})
     }
 
     // No known layers
@@ -419,7 +419,7 @@ class BlackBoxSpec extends AnyFlatSpec with Matchers with ChiselSim with FileChe
     class Bar extends BlackBox {
       final val io = IO {
         new Bundle {
-          val a = Output(probe.Probe(Bool(), layers.Verification))
+          val a = Output(probe.Probe(Bool(), chisel3.layers.Verification))
         }
       }
     }
@@ -430,7 +430,7 @@ class BlackBoxSpec extends AnyFlatSpec with Matchers with ChiselSim with FileChe
     class Baz extends BlackBox(knownLayers = Seq(A)) {
       final val io = IO {
         new Bundle {
-          val a = Output(probe.Probe(Bool(), layers.Verification))
+          val a = Output(probe.Probe(Bool(), chisel3.layers.Verification))
         }
       }
     }

diff --git a/src/test/scala-2/chiselTests/BoolSpec.scala → src/test/scala/chiselTests/BoolSpec.scala b/src/test/scala-2/chiselTests/BoolSpec.scala → src/test/scala/chiselTests/BoolSpec.scala
diff --git a/...scala-2/chiselTests/BulkConnectSpec.scala → ...t/scala/chiselTests/BulkConnectSpec.scala b/...scala-2/chiselTests/BulkConnectSpec.scala → ...t/scala/chiselTests/BulkConnectSpec.scala
@@ -75,7 +75,7 @@ class BulkConnectSpec extends AnyPropSpec with Matchers {
       val io: MyBundle = IO(Flipped(new MyBundle))
 
       @nowarn("cat=deprecation")
-      val bb = Module(new BlackBox {
+      val bb = Module[BlackBox { def io: MyBundle }](new BlackBox {
         val io: MyBundle = IO(Flipped(new MyBundle))
       })
 

diff --git a/...est/scala-2/chiselTests/ConnectSpec.scala → src/test/scala/chiselTests/ConnectSpec.scala b/...est/scala-2/chiselTests/ConnectSpec.scala → src/test/scala/chiselTests/ConnectSpec.scala
diff --git a/...st/scala-2/chiselTests/CustomBundle.scala → ...test/scala/chiselTests/CustomBundle.scala b/...st/scala-2/chiselTests/CustomBundle.scala → ...test/scala/chiselTests/CustomBundle.scala
diff --git a/src/test/scala-2/chiselTests/Decoder.scala → src/test/scala/chiselTests/Decoder.scala b/src/test/scala-2/chiselTests/Decoder.scala → src/test/scala/chiselTests/Decoder.scala
@@ -14,7 +14,7 @@ class Decoder(bitpats: List[String]) extends Module {
     val inst = Input(UInt(32.W))
     val matched = Output(Bool())
   })
-  io.matched := VecInit(bitpats.map(BitPat(_) === io.inst)).reduce(_ || _)
+  io.matched := VecInit(bitpats.map(BitPat(_) === io.inst).reduce(_ || _))
 }
 
 class DecoderTester(pairs: List[(String, String)]) extends Module {

diff --git a/...t/scala-2/chiselTests/DecoupledSpec.scala → ...est/scala/chiselTests/DecoupledSpec.scala b/...t/scala-2/chiselTests/DecoupledSpec.scala → ...est/scala/chiselTests/DecoupledSpec.scala
diff --git a/src/test/scala-2/chiselTests/DedupSpec.scala → src/test/scala/chiselTests/DedupSpec.scala b/src/test/scala-2/chiselTests/DedupSpec.scala → src/test/scala/chiselTests/DedupSpec.scala
diff --git a/...est/scala-2/chiselTests/DisableSpec.scala → src/test/scala/chiselTests/DisableSpec.scala b/...est/scala-2/chiselTests/DisableSpec.scala → src/test/scala/chiselTests/DisableSpec.scala
diff --git a/src/test/scala-2/chiselTests/ExtModule.scala → src/test/scala/chiselTests/ExtModule.scala b/src/test/scala-2/chiselTests/ExtModule.scala → src/test/scala/chiselTests/ExtModule.scala
diff --git a/...scala-2/chiselTests/IntrinsicModule.scala → ...t/scala/chiselTests/IntrinsicModule.scala b/...scala-2/chiselTests/IntrinsicModule.scala → ...t/scala/chiselTests/IntrinsicModule.scala
diff --git a/src/test/scala/chiselTests/IntrinsicSpec.scala b/src/test/scala/chiselTests/IntrinsicSpec.scala
@@ -5,6 +5,7 @@ package chiselTests
 import chisel3._
 import chisel3.experimental.{fromIntToIntParam, fromStringToStringParam}
 import circt.stage.ChiselStage
+import chisel3.experimental.{fromIntToIntParam, fromStringToStringParam}
 import org.scalatest.flatspec.AnyFlatSpec
 import org.scalatest.matchers.should.Matchers
 

diff --git a/...t/scala-2/chiselTests/LazyCloneSpec.scala → ...est/scala/chiselTests/LazyCloneSpec.scala b/...t/scala-2/chiselTests/LazyCloneSpec.scala → ...est/scala/chiselTests/LazyCloneSpec.scala
diff --git a/...cala-2/chiselTests/ModuleChoiceSpec.scala → .../scala/chiselTests/ModuleChoiceSpec.scala b/...cala-2/chiselTests/ModuleChoiceSpec.scala → .../scala/chiselTests/ModuleChoiceSpec.scala
@@ -34,8 +34,8 @@ class ModuleWithChoice[T <: Data](
   default: => FixedIOBaseModule[T]
 )(alternateImpls: Seq[(Case, () => FixedIOBaseModule[T])])
     extends Module {
-  val inst = ModuleChoice(default)(alternateImpls)
-  val io = IO(inst.cloneType)
+  val inst: T = ModuleChoice[T](default, alternateImpls)
+  val io:   T = IO(chiselTypeOf(inst))
   io <> inst
 }
 

diff --git a/...ala-2/chiselTests/NamedModuleTester.scala → ...scala/chiselTests/NamedModuleTester.scala b/...ala-2/chiselTests/NamedModuleTester.scala → ...scala/chiselTests/NamedModuleTester.scala
diff --git a/...t/scala-2/chiselTests/OneHotMuxSpec.scala → ...est/scala/chiselTests/OneHotMuxSpec.scala b/...t/scala-2/chiselTests/OneHotMuxSpec.scala → ...est/scala/chiselTests/OneHotMuxSpec.scala
diff --git a/src/test/scala-2/chiselTests/PortSpec.scala → src/test/scala/chiselTests/PortSpec.scala b/src/test/scala-2/chiselTests/PortSpec.scala → src/test/scala/chiselTests/PortSpec.scala
diff --git a/...t/scala-2/chiselTests/PrintableSpec.scala → ...est/scala/chiselTests/PrintableSpec.scala b/...t/scala-2/chiselTests/PrintableSpec.scala → ...est/scala/chiselTests/PrintableSpec.scala
diff --git a/src/test/scala-2/chiselTests/Printf.scala → src/test/scala/chiselTests/Printf.scala b/src/test/scala-2/chiselTests/Printf.scala → src/test/scala/chiselTests/Printf.scala
diff --git a/...test/scala-2/chiselTests/RecordSpec.scala → src/test/scala/chiselTests/RecordSpec.scala b/...test/scala-2/chiselTests/RecordSpec.scala → src/test/scala/chiselTests/RecordSpec.scala
diff --git a/.../scala-2/chiselTests/ReduceTreeSpec.scala → ...st/scala/chiselTests/ReduceTreeSpec.scala b/.../scala-2/chiselTests/ReduceTreeSpec.scala → ...st/scala/chiselTests/ReduceTreeSpec.scala
diff --git a/src/test/scala-2/chiselTests/ResetSpec.scala → src/test/scala/chiselTests/ResetSpec.scala b/src/test/scala-2/chiselTests/ResetSpec.scala → src/test/scala/chiselTests/ResetSpec.scala
diff --git a/src/test/scala-2/chiselTests/SIntOps.scala → src/test/scala/chiselTests/SIntOps.scala b/src/test/scala-2/chiselTests/SIntOps.scala → src/test/scala/chiselTests/SIntOps.scala
@@ -202,13 +202,13 @@ class SIntOpsSpec extends AnyPropSpec with Matchers with ShiftRightWidthBehavior
   }
 
   property("Static right-shift should have a minimum width of 1") {
-    testShiftRightWidthBehavior(SInt)(chiselMinWidth = 1, firrtlMinWidth = 1)
+    testSIntShiftRightWidthBehavior(chiselMinWidth = 1, firrtlMinWidth = 1)
   }
 
   property("Static right-shift should have width of 0 in Chisel and 1 in FIRRTL with --use-legacy-width") {
     val args = Array("--use-legacy-width")
 
-    testShiftRightWidthBehavior(SInt)(chiselMinWidth = 0, firrtlMinWidth = 1, args = args)
+    testSIntShiftRightWidthBehavior(chiselMinWidth = 0, firrtlMinWidth = 1, args = args)
 
     // Focused test to show the mismatch
     class TestModule extends Module {

diff --git a/...test/scala-2/chiselTests/SimLogSpec.scala → src/test/scala/chiselTests/SimLogSpec.scala b/...test/scala-2/chiselTests/SimLogSpec.scala → src/test/scala/chiselTests/SimLogSpec.scala
@@ -33,7 +33,7 @@ class SimLogSpec extends AnyFlatSpec with Matchers with FileCheck with ChiselSim
     class MyModule extends Module {
       val in = IO(Input(UInt(8.W)))
       val fd = SimLog.file("logfile.log")
-      fd.printf("in = %d\n", in)
+      // fd.printf("in = %d\n", in)
     }
     ChiselStage
       .emitCHIRRTL(new MyModule)

diff --git a/...test/scala-2/chiselTests/SwitchSpec.scala → src/test/scala/chiselTests/SwitchSpec.scala b/...test/scala-2/chiselTests/SwitchSpec.scala → src/test/scala/chiselTests/SwitchSpec.scala
diff --git a/...t/scala-2/chiselTests/TypeAliasSpec.scala → ...est/scala/chiselTests/TypeAliasSpec.scala b/...t/scala-2/chiselTests/TypeAliasSpec.scala → ...est/scala/chiselTests/TypeAliasSpec.scala
diff --git a/src/test/scala-2/chiselTests/UIntOps.scala → src/test/scala/chiselTests/UIntOps.scala b/src/test/scala-2/chiselTests/UIntOps.scala → src/test/scala/chiselTests/UIntOps.scala
@@ -214,62 +214,100 @@ class UIntLitZeroWidthTester extends Module {
 }
 
 trait ShiftRightWidthBehavior extends WidthHelpers {
-  // The UInt and SInt objects don't share a type, so make one up that they can conform to structurally
-  type BitsFactory[T <: Bits] = {
-    def apply():         T
-    def apply(w: Width): T
+  def testSIntShiftRightWidthBehavior(chiselMinWidth: Int, firrtlMinWidth: Int, args: Iterable[String] = Nil): Unit = {
+    assertKnownWidth(4, args) {
+      val in = IO(Input(SInt(8.W)))
+      in >> 4
+    }
+    assertKnownWidth(chiselMinWidth, args) {
+      val in = IO(Input(SInt(8.W)))
+      in >> 8
+    }
+    assertKnownWidth(chiselMinWidth, args) {
+      val in = IO(Input(SInt(8.W)))
+      in >> 16
+    }
+    assertKnownWidth(chiselMinWidth, args) {
+      val in = IO(Input(SInt(0.W)))
+      in >> 8
+    }
+    assertKnownWidth(chiselMinWidth, args) {
+      val in = IO(Input(SInt(0.W)))
+      in >> 0
+    }
+    assertInferredWidth(4, args) {
+      val in = IO(Input(SInt(8.W)))
+      val w = WireInit(SInt(), in)
+      w >> 4
+    }
+    assertInferredWidth(firrtlMinWidth, args) {
+      val in = IO(Input(SInt(8.W)))
+      val w = WireInit(SInt(), in)
+      w >> 8
+    }
+    assertInferredWidth(firrtlMinWidth, args) {
+      val in = IO(Input(SInt(8.W)))
+      val w = WireInit(SInt(), in)
+      w >> 16
+    }
+    assertInferredWidth(firrtlMinWidth, args) {
+      val in = IO(Input(SInt(0.W)))
+      val w = WireInit(SInt(), in)
+      w >> 8
+    }
+    assertInferredWidth(firrtlMinWidth, args) {
+      val in = IO(Input(SInt(0.W)))
+      val w = WireInit(SInt(), in)
+      w >> 0
+    }
   }
-
-  def testShiftRightWidthBehavior[T <: Bits](
-    factory: BitsFactory[T]
-  )(chiselMinWidth: Int, firrtlMinWidth: Int, args: Iterable[String] = Nil): Unit = {
+  def testUIntShiftRightWidthBehavior(chiselMinWidth: Int, firrtlMinWidth: Int, args: Iterable[String] = Nil): Unit = {
     assertKnownWidth(4, args) {
-      val in = IO(Input(factory(8.W)))
+      val in = IO(Input(UInt(8.W)))
       in >> 4
     }
     assertKnownWidth(chiselMinWidth, args) {
-      val in = IO(Input(factory(8.W)))
+      val in = IO(Input(UInt(8.W)))
       in >> 8
     }
     assertKnownWidth(chiselMinWidth, args) {
-      val in = IO(Input(factory(8.W)))
+      val in = IO(Input(UInt(8.W)))
       in >> 16
     }
     assertKnownWidth(chiselMinWidth, args) {
-      val in = IO(Input(factory(0.W)))
+      val in = IO(Input(UInt(0.W)))
       in >> 8
     }
     assertKnownWidth(chiselMinWidth, args) {
-      val in = IO(Input(factory(0.W)))
+      val in = IO(Input(UInt(0.W)))
       in >> 0
     }
     assertInferredWidth(4, args) {
-      val in = IO(Input(factory(8.W)))
-      val w = WireInit(factory(), in)
+      val in = IO(Input(UInt(8.W)))
+      val w = WireInit(UInt(), in)
       w >> 4
     }
     assertInferredWidth(firrtlMinWidth, args) {
-      val in = IO(Input(factory(8.W)))
-      val w = WireInit(factory(), in)
+      val in = IO(Input(UInt(8.W)))
+      val w = WireInit(UInt(), in)
       w >> 8
     }
     assertInferredWidth(firrtlMinWidth, args) {
-      val in = IO(Input(factory(8.W)))
-      val w = WireInit(factory(), in)
+      val in = IO(Input(UInt(8.W)))
+      val w = WireInit(UInt(), in)
       w >> 16
     }
     assertInferredWidth(firrtlMinWidth, args) {
-      val in = IO(Input(factory(0.W)))
-      val w = WireInit(factory(), in)
+      val in = IO(Input(UInt(0.W)))
+      val w = WireInit(UInt(), in)
       w >> 8
     }
     assertInferredWidth(firrtlMinWidth, args) {
-      val in = IO(Input(factory(0.W)))
-      val w = WireInit(factory(), in)
+      val in = IO(Input(UInt(0.W)))
+      val w = WireInit(UInt(), in)
       w >> 0
     }
   }
-
 }
 
 class UIntOpsSpec extends AnyPropSpec with Matchers with LogUtils with ShiftRightWidthBehavior with ChiselSim {
@@ -551,13 +589,13 @@ class UIntOpsSpec extends AnyPropSpec with Matchers with LogUtils with ShiftRigh
   }
 
   property("Static right-shift should have a minimum width of 0") {
-    testShiftRightWidthBehavior(UInt)(chiselMinWidth = 0, firrtlMinWidth = 0)
+    testUIntShiftRightWidthBehavior(chiselMinWidth = 0, firrtlMinWidth = 0)
   }
 
   property("Static right-shift should have width of 0 in Chisel and 1 in FIRRTL with --use-legacy-width") {
     val args = Array("--use-legacy-width")
 
-    testShiftRightWidthBehavior(UInt)(chiselMinWidth = 0, firrtlMinWidth = 1, args = args)
+    testUIntShiftRightWidthBehavior(chiselMinWidth = 0, firrtlMinWidth = 1, args = args)
 
     // Focused test to show the mismatch
     class TestModule extends Module {

diff --git a/src/test/scala-2/chiselTests/Util.scala → src/test/scala/chiselTests/Util.scala b/src/test/scala-2/chiselTests/Util.scala → src/test/scala/chiselTests/Util.scala
diff --git a/src/test/scala-2/chiselTests/ValidSpec.scala → src/test/scala/chiselTests/ValidSpec.scala b/src/test/scala-2/chiselTests/ValidSpec.scala → src/test/scala/chiselTests/ValidSpec.scala
diff --git a/src/test/scala-2/chiselTests/Vec.scala → src/test/scala/chiselTests/Vec.scala b/src/test/scala-2/chiselTests/Vec.scala → src/test/scala/chiselTests/Vec.scala
diff --git a/.../scala-2/chiselTests/VectorPacketIO.scala → ...st/scala/chiselTests/VectorPacketIO.scala b/.../scala-2/chiselTests/VectorPacketIO.scala → ...st/scala/chiselTests/VectorPacketIO.scala
diff --git a/src/test/scala-2/chiselTests/WhenSpec.scala → src/test/scala/chiselTests/WhenSpec.scala b/src/test/scala-2/chiselTests/WhenSpec.scala → src/test/scala/chiselTests/WhenSpec.scala
diff --git a/...2/chiselTests/naming/NamePluginSpec.scala → ...a/chiselTests/naming/NamePluginSpec.scala b/...2/chiselTests/naming/NamePluginSpec.scala → ...a/chiselTests/naming/NamePluginSpec.scala
@@ -3,7 +3,6 @@
 package chiselTests.naming
 
 import chisel3._
-import chisel3.aop.Select
 import chisel3.experimental.prefix
 import chisel3.experimental.AffectsChiselName
 import chisel3.testing.scalatest.FileCheck

diff --git a/...ala-2/chiselTests/naming/PrefixSpec.scala → ...scala/chiselTests/naming/PrefixSpec.scala b/...ala-2/chiselTests/naming/PrefixSpec.scala → ...scala/chiselTests/naming/PrefixSpec.scala
@@ -3,7 +3,6 @@
 package chiselTests.naming
 
 import chisel3._
-import chisel3.aop.Select
 import chisel3.experimental.{noPrefix, prefix, skipPrefix, AffectsChiselPrefix}
 import chisel3.testing.scalatest.FileCheck
 import circt.stage.ChiselStage

diff --git a/...a-2/chiselTests/naming/TypenameSpec.scala → ...ala/chiselTests/naming/TypenameSpec.scala b/...a-2/chiselTests/naming/TypenameSpec.scala → ...ala/chiselTests/naming/TypenameSpec.scala
diff --git a/...elTests/stage/ChiselAnnotationsSpec.scala → ...elTests/stage/ChiselAnnotationsSpec.scala b/...elTests/stage/ChiselAnnotationsSpec.scala → ...elTests/stage/ChiselAnnotationsSpec.scala
@@ -8,6 +8,7 @@ import chisel3.stage.{ChiselCircuitAnnotation, ChiselGeneratorAnnotation, Design
 import firrtl.options.OptionsException
 import org.scalatest.flatspec.AnyFlatSpec
 import org.scalatest.matchers.should.Matchers
+import firrtl.{annoSeqToSeq, seqToAnnoSeq, AnnotationSeq}
 
 class ChiselAnnotationsSpecFoo extends RawModule {
   val in = IO(Input(Bool()))

diff --git a/...2/chiselTests/testing/FileCheckSpec.scala → ...a/chiselTests/testing/FileCheckSpec.scala b/...2/chiselTests/testing/FileCheckSpec.scala → ...a/chiselTests/testing/FileCheckSpec.scala
diff --git a/...sts/testing/HasTestingDirectorySpec.scala → ...sts/testing/HasTestingDirectorySpec.scala b/...sts/testing/HasTestingDirectorySpec.scala → ...sts/testing/HasTestingDirectorySpec.scala
@@ -68,8 +68,6 @@ class HasTestingDirectorySpec extends AnyFlatSpec with Matchers {
       testingDirectory.getDirectory
     }
 
-    implicit val bar = implicitly[HasTestingDirectory]
-
     foo should be(foo)
 
   }

diff --git a/.../testing/scalatest/HasConfigMapSpec.scala → .../testing/scalatest/HasConfigMapSpec.scala b/.../testing/scalatest/HasConfigMapSpec.scala → .../testing/scalatest/HasConfigMapSpec.scala
diff --git a/...lTests/util/AttributeAnnotationSpec.scala → ...lTests/util/AttributeAnnotationSpec.scala b/...lTests/util/AttributeAnnotationSpec.scala → ...lTests/util/AttributeAnnotationSpec.scala
diff --git a/...scala-2/chiselTests/util/BitSetSpec.scala → ...t/scala/chiselTests/util/BitSetSpec.scala b/...scala-2/chiselTests/util/BitSetSpec.scala → ...t/scala/chiselTests/util/BitSetSpec.scala
diff --git a/...cala-2/chiselTests/util/BitwiseSpec.scala → .../scala/chiselTests/util/BitwiseSpec.scala b/...cala-2/chiselTests/util/BitwiseSpec.scala → .../scala/chiselTests/util/BitwiseSpec.scala
diff --git a/...st/scala-2/chiselTests/util/CatSpec.scala → ...test/scala/chiselTests/util/CatSpec.scala b/...st/scala-2/chiselTests/util/CatSpec.scala → ...test/scala/chiselTests/util/CatSpec.scala
diff --git a/...t/scala-2/chiselTests/util/PipeSpec.scala → ...est/scala/chiselTests/util/PipeSpec.scala b/...t/scala-2/chiselTests/util/PipeSpec.scala → ...est/scala/chiselTests/util/PipeSpec.scala
diff --git a/...-2/chiselTests/util/PriorityMuxSpec.scala → ...la/chiselTests/util/PriorityMuxSpec.scala b/...-2/chiselTests/util/PriorityMuxSpec.scala → ...la/chiselTests/util/PriorityMuxSpec.scala
diff --git a/...st/scala-2/chiselTests/util/RegSpec.scala → ...test/scala/chiselTests/util/RegSpec.scala b/...st/scala-2/chiselTests/util/RegSpec.scala → ...test/scala/chiselTests/util/RegSpec.scala
diff --git a/...-2/chiselTests/util/circt/ClockGate.scala → ...la/chiselTests/util/circt/ClockGate.scala b/...-2/chiselTests/util/circt/ClockGate.scala → ...la/chiselTests/util/circt/ClockGate.scala
diff --git a/...la-2/chiselTests/util/circt/IsXSpec.scala → ...cala/chiselTests/util/circt/IsXSpec.scala b/...la-2/chiselTests/util/circt/IsXSpec.scala → ...cala/chiselTests/util/circt/IsXSpec.scala
diff --git a/...elTests/util/circt/PlusArgsTestSpec.scala → ...elTests/util/circt/PlusArgsTestSpec.scala b/...elTests/util/circt/PlusArgsTestSpec.scala → ...elTests/util/circt/PlusArgsTestSpec.scala
diff --git a/...lTests/util/circt/PlusArgsValueSpec.scala → ...lTests/util/circt/PlusArgsValueSpec.scala b/...lTests/util/circt/PlusArgsValueSpec.scala → ...lTests/util/circt/PlusArgsValueSpec.scala
diff --git a/...2/chiselTests/util/circt/SizeOfSpec.scala → ...a/chiselTests/util/circt/SizeOfSpec.scala b/...2/chiselTests/util/circt/SizeOfSpec.scala → ...a/chiselTests/util/circt/SizeOfSpec.scala
diff --git a/...-2/chiselTests/util/circt/Synthesis.scala → ...la/chiselTests/util/circt/Synthesis.scala b/...-2/chiselTests/util/circt/Synthesis.scala → ...la/chiselTests/util/circt/Synthesis.scala
diff --git a/.../util/experimental/DecoderTableSpec.scala → .../util/experimental/DecoderTableSpec.scala b/.../util/experimental/DecoderTableSpec.scala → .../util/experimental/DecoderTableSpec.scala
diff --git a/...-2/chiselTests/util/random/PRNGSpec.scala → ...la/chiselTests/util/random/PRNGSpec.scala b/...-2/chiselTests/util/random/PRNGSpec.scala → ...la/chiselTests/util/random/PRNGSpec.scala
diff --git a/.../circtTests/OutputDirAnnotationSpec.scala → .../circtTests/OutputDirAnnotationSpec.scala b/.../circtTests/OutputDirAnnotationSpec.scala → .../circtTests/OutputDirAnnotationSpec.scala
@@ -7,7 +7,7 @@ import circt.outputDir
 import circt.stage.ChiselStage
 import org.scalatest.funspec.AnyFunSpec
 import org.scalatest.matchers.should.Matchers
-import chiselTests.experimental.hierarchy.Utils
+// import chiselTests.experimental.hierarchy.Utils
 
 class OutputDirAnnotationSpec extends AnyFunSpec with Matchers {
   describe("output directory annotation works") {

diff --git a/...a-2/circtTests/stage/ChiselMainSpec.scala → ...ala/circtTests/stage/ChiselMainSpec.scala b/...a-2/circtTests/stage/ChiselMainSpec.scala → ...ala/circtTests/stage/ChiselMainSpec.scala
diff --git a/...xamples/ImplicitStateVendingMachine.scala → ...xamples/ImplicitStateVendingMachine.scala b/...xamples/ImplicitStateVendingMachine.scala → ...xamples/ImplicitStateVendingMachine.scala
diff --git a/...ala-2/examples/SimpleVendingMachine.scala → ...scala/examples/SimpleVendingMachine.scala b/...ala-2/examples/SimpleVendingMachine.scala → ...scala/examples/SimpleVendingMachine.scala
diff --git a/...-2/examples/VendingMachineGenerator.scala → ...la/examples/VendingMachineGenerator.scala b/...-2/examples/VendingMachineGenerator.scala → ...la/examples/VendingMachineGenerator.scala
diff --git a/...cala-2/examples/VendingMachineUtils.scala → .../scala/examples/VendingMachineUtils.scala b/...cala-2/examples/VendingMachineUtils.scala → .../scala/examples/VendingMachineUtils.scala
-Original file line number
+Diff line change
@@ Expand Up @@
           testingDirectory.getDirectory
         }
-        implicit val bar = implicitly[HasTestingDirectory]
         foo should be(foo)
       }
@@ Expand Down @@