Nice/testsuite/compiler/typing dti.testsuite,1.3,1.4

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv29869/testsuite/compiler/typing

Modified Files:
	dti.testsuite 
Log Message:
Check that nullness inference is not too optimistic with if when only the
second branch guarantees non-nullness.


Index: dti.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/dti.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** dti.testsuite	6 Mar 2005 17:24:27 -0000	1.3
--- dti.testsuite	6 Mar 2005 17:44:46 -0000	1.4
***************
*** 30,33 ****
--- 30,42 ----
    s. /*/// FAIL HERE*/ substring(1);
  
+ /// FAIL
+   ?String s = null;
+   if(maybeTrue())
+     s = null;
+   else
+     s = "abc";
+ 
+   s. /*/// FAIL HERE*/ substring(1);
+ 
  /// PASS bug
    ?String s = maybeString();



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click