Specify State bound in recursive generic (#221)

Lipen · web-flow · commit c5d3fbf7415e · 2024-12-18T17:49:42.000+03:00
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.
      *

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ val logger = object : KLogging() {}.logger`
`14`	`14`	`*`
`15`	`15`	`* @see [run]`
`16`	`16`	`*/`
`17`		`-abstract class UMachine<State : UState<, , , , , >> : AutoCloseable {`
	`17`	`+abstract class UMachine<State : UState<, , , , *, State>> : AutoCloseable {`
`18`	`18`	`/**`
`19`	`19`	`* Runs symbolic execution loop.`
`20`	`20`	`*`