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 12f049e commit a604b26Copy full SHA for a604b26
src/java_bytecode/java_bytecode_parser.cpp
@@ -1926,7 +1926,7 @@ void java_bytecode_parsert::read_bootstrapmethods_entry(classt &parsed_class)
1926
// If parse_method_handle can't parse the lambda method, it should return {}
1927
POSTCONDITION(
1928
lambda_method_handle->handle_type !=
1929
- method_handle_typet::LAMBDA_METHOD_HANDLE);
+ method_handle_typet::UNKNOWN_HANDLE);
1930
1931
lambda_method_handle->interface_type =
1932
pool_entry(interface_type_argument.ref1).s;
0 commit comments