Description
The bytecode generated from the following code produces a verification error:
public static Object test(){ return new Object(); }
Here is the error message:
Pass 3b, method number 2 ['public static Object test()']:
VERIFIED_REJECTED
Constraint violated in method 'public static Object test()':
Returned type void does not match Method's return type java.lang.Object
The problem also occurs for all kind of returned value: primitive types (byte, int, etc.), array , null, object, …