Skip to content

Commit 35fb893

Browse files
Use type_try_dynamic_cast in particular case where it clarifies the code
1 parent e7646df commit 35fb893

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

jbmc/src/java_bytecode/java_types.cpp

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1072,9 +1072,8 @@ optionalt<size_t> java_generic_struct_tag_typet::generic_type_index(
10721072
const auto &generics = generic_types();
10731073
for(std::size_t i = 0; i < generics.size(); ++i)
10741074
{
1075-
if(
1076-
is_java_generic_parameter(generics[i]) &&
1077-
to_java_generic_parameter(generics[i]).get_name() == type_variable)
1075+
auto param = type_try_dynamic_cast<java_generic_parametert>(generics[i]);
1076+
if(param && param->get_name() == type_variable)
10781077
return i;
10791078
}
10801079
return {};

0 commit comments

Comments
 (0)