[ nice-Bugs-1629406 ] Another case where the nullness inference doesn't work

Bugs item #1629406, was opened at 2007-01-06 14:12
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=1629406&group_id=12788

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: David R. MacIver (drmaciver)
Assigned to: Nobody/Anonymous (nobody)
Summary: Another case where the nullness inference doesn't work

Initial Comment:
This probably isn't really a bug, as it would probably require far more subtlety to catch automatically than is really worth including, but I thought I'd report it more for general interest. The following fails because it can't tell that 'string' can't be null:

package test;

public void testMethod (?String string, boolean isNull) requires ( (string != null) || isNull) 
{
    if (!isNull)
    {
        toString(string);
    }
}


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

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

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV