public class GenericValueHolder<T> {
 private final T value;
 
 public GenericValueHolder(T value) {
 this.value = value;
 }
 public T getValue() {
 return value;
 }
 
 public static void acceptStringValueHolder(GenericValueHolder<String> genericValueHolder) {}
}

@Test
fun `fuzzer correctly creates user defined parametrized types`() {
 val seenGenericValueHolders = mutableListOf<GenericValueHolder<*>>()
 var remainingRuns = 100
 runBlockingWithContext {
 runJavaFuzzing(
 TestIdentityPreservingIdGenerator,
 methodUnderTest = GenericValueHolder::class.java.declaredMethods.first { it.name == "acceptStringValueHolder" }.executableId,
 constants = emptyList(),
 names = emptyList(),
 ) { _, _, (genericValueHolder) ->
 seenGenericValueHolders.add(
 ValueConstructor().construct(listOf(genericValueHolder.model)).single().value as GenericValueHolder<*>
 )
 remainingRuns--
 BaseFeedback(Trie.emptyNode(), if (remainingRuns > 0) Control.CONTINUE else Control.STOP)
 }
 }
 val seenStrings = seenGenericValueHolders.mapNotNull { it.value }
 assertNotEquals(emptyList<String>(), seenStrings)
 seenStrings.forEach { assertInstanceOf(String::class.java, it) }
}

Unexpected type ==> expected: <java.lang.String> but was: <java.lang.Object>
Expected :java.lang.String
Actual :java.lang.Object
<Click to see difference>
org.opentest4j.AssertionFailedError: Unexpected type ==> expected: <java.lang.String> but was: <java.lang.Object>
	at app//org.junit.jupiter.api.AssertInstanceOf.assertInstanceOf(AssertInstanceOf.java:51)
	at app//org.junit.jupiter.api.AssertInstanceOf.assertInstanceOf(AssertInstanceOf.java:35)
	at app//org.junit.jupiter.api.Assertions.assertInstanceOf(Assertions.java:3539)
	at app//org.utbot.fuzzing.JavaFuzzingTest.fuzzer correctly creates user defined parametrized types(JavaFuzzingTest.kt:325)