[Nice-commit] Nice/testsuite/compiler/methods coverage.testsuite,1.2,1.3

[Daniel B. <bo...@us...>]

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

Modified Files:
	coverage.testsuite 
Log Message:
An Object pattern is equivalent to non-nullness.


Index: coverage.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/coverage.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** coverage.testsuite	16 Dec 2003 11:39:10 -0000	1.2
--- coverage.testsuite	7 Aug 2004 11:17:43 -0000	1.3
***************
*** 36,37 ****
--- 36,44 ----
    <T> T foo(T x, Object o) = x;
    foo(String s, o) = "";
+ 
+ /// PASS bug
+   assert !foo(null);
+   assert foo("");
+   /// Toplevel
+ <T> boolean foo(T x) = false;
+ foo(Object x) = true;