We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ffa104c commit 0f98cb4Copy full SHA for 0f98cb4
src/java_bytecode/generate_java_generic_type.cpp
@@ -109,15 +109,7 @@ typet generate_java_generic_typet::substitute_type(
109
java_generics_get_index_for_subtype(generic_class, component_identifier);
110
111
INVARIANT(results.has_value(), "generic component type not found");
112
-
113
- if(results)
114
- {
115
- return generic_reference.generic_type_variables()[*results];
116
- }
117
- else
118
119
- return parameter_type;
120
+ return generic_reference.generic_type_variables()[*results];
121
}
122
else if(parameter_type.id() == ID_pointer)
123
{
0 commit comments