Specify State bound in recursive generic (#221)

UnitTestBot · Dec 18, 2024 · c5d3fbf · c5d3fbf
1 parent e930e6c
commit c5d3fbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/usvm-core/src/main/kotlin/org/usvm/Machine.kt b/usvm-core/src/main/kotlin/org/usvm/Machine.kt
@@ -14,7 +14,7 @@ val logger = object : KLogging() {}.logger
  *
  * @see [run]
  */
-abstract class UMachine<State : UState<*, *, *, *, *, *>> : AutoCloseable {
+abstract class UMachine<State : UState<*, *, *, *, *, State>> : AutoCloseable {
     /**
      * Runs symbolic execution loop.
      *