fix: use declared erasure for type variables and wildcards

Pass-through rules like `java.util.List#get` returning
`java.lang.Object`
were no longer matching since typed method resolution via
`cp.typeOf(method.enclosingClass)` surfaces declared return/parameter
types as `JIRTypeVariable` (e.g. `E`) rather than the erased class.
`erasedName()` fell through to `typeName`, producing the type-variable
symbol `"E"` instead of `"java.lang.Object"`, so every string-based
matcher missed. Map type variables and unbound wildcards to their
declared erasure via `jIRClass.name`, and extend the same lookup to
array element types.

Author: misonijnik

core/opentaint-configuration-rules/configuration-rules-jvm/src/main/kotlin/org/opentaint/dataflow/configuration/jvm/SerializedTypeMatching.kt

@@ -51,13 +51,24 @@ fun SerializedTypeNameMatcher.matchType(
 
 /**
  * Erased class name for matching — drops any generic decoration that
- * [JIRType.typeName] may carry (e.g. `Map<String, Object>` → `java.util.Map`).
+ * [JIRType.typeName] may carry (e.g. `Map<String, Object>` → `java.util.Map`)
+ * and reduces a type variable / unbound wildcard to its declared erasure
+ * (e.g. `E` → `java.lang.Object`) so string-based matchers can match against
+ * pass-through rules whose return/parameter types show up as type variables
+ * when resolved via the declaring class (e.g. `List.get` returns `E`).
  */
 private fun JIRType.erasedName(): String = when (this) {
     is JIRClassType -> jIRClass.name
+    is JIRTypeVariable -> jIRClass.name
+    is JIRUnboundWildcard -> jIRClass.name
     is JIRArrayType -> {
         val el = elementType
-        if (el is JIRClassType) el.jIRClass.name + "[]" else typeName
+        when (el) {
+            is JIRClassType -> el.jIRClass.name + "[]"
+            is JIRTypeVariable -> el.jIRClass.name + "[]"
+            is JIRUnboundWildcard -> el.jIRClass.name + "[]"
+            else -> typeName
+        }
     }
     else -> typeName
 }