DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG 
RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT
<http://nagoya.apache.org/bugzilla/show_bug.cgi?id=26839>.
ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND 
INSERTED IN THE BUG DATABASE.

http://nagoya.apache.org/bugzilla/show_bug.cgi?id=26839

JustIce - array store type checks stricter than native verifier





------- Additional Comments From [EMAIL PROTECTED]  2004-02-10 21:29 -------
Here is my understanding of the problem:
1. Verification type of objs is Object[]
2. Run-time type of objs (in this particular case) is Integer[]
3. Verification type of the result of o() is Object

Verification should pass, since it is purely concerned about verification 
type. However a run-time error should be thrown if o() return a non-null 
value. In this case since o() return null it shouldn't.

[EMAIL PROTECTED]

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to