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]