[Nice-commit] Nice/testsuite/compiler/typing wildcards.testsuite,1.2,1.3

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

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

Modified Files:
	wildcards.testsuite 
Log Message:
Allow the unknown type to be smaller as another type, as long as that one
can be made unknown too.


Index: wildcards.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/wildcards.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** wildcards.testsuite	25 May 2005 23:22:56 -0000	1.2
--- wildcards.testsuite	31 May 2005 07:32:49 -0000	1.3
***************
*** 68,69 ****
--- 68,75 ----
    int /*/// FAIL HERE */ x = a.x2;
  }
+ 
+ /// PASS
+   /// Toplevel
+ class A<T> { T x; }
+ void foo(A<?> a) = bar(a.x);
+ <T> void bar(T x) {}