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;
|
