[ nice-Bugs-976723 ] VerifyError w/ (?int,?int)

Bugs item #976723, was opened at 2004-06-21 06:33
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=976723&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Bryn Keller (xoltar)
Assigned to: Nobody/Anonymous (nobody)
Summary: VerifyError w/ (?int,?int)

Initial Comment:
With latest CVS version:

(int,int) foo((?int,?int) tup) 
{
  (?int a, ?int b) = tup;
  return (a || 0, b || 0);
}

void main(String[] args) {
  println(foo((null, 3)));
}

Compiles, but fails at runtime with:

C:\src\nice>java -jar test.jar
Exception in thread "main" java.lang.VerifyError:
(class: test/fun, method: main
 signature: ([Ljava/lang/String;)V) Expecting to find
integer on stack
        at test.dispatch.main(dispatch.nice)

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=976723&group_id=12788


-------------------------------------------------------
This SF.Net email is sponsored by The 2004 JavaOne(SM) Conference
Learn from the experts at JavaOne(SM), Sun's Worldwide Java Developer
Conference, June 28 - July 1 at the Moscone Center in San Francisco, CA
REGISTER AND SAVE! http://java.sun.com/javaone/sf Priority Code NWMGYKND