[Nice-commit] Nice/testsuite/compiler/methods parameterTypeNaming.testsuite,1.3,1.4

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

Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1:/tmp/cvs-serv14897/testsuite/compiler/methods

Modified Files:
	parameterTypeNaming.testsuite 
Log Message:
The first testcase was not safe, as shown by the new testcase. Mark the other
as bug for now, it should be possible to handle it in a slightly different 
form.


Index: parameterTypeNaming.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/parameterTypeNaming.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** parameterTypeNaming.testsuite	28 Apr 2003 20:57:52 -0000	1.3
--- parameterTypeNaming.testsuite	8 Dec 2003 19:46:09 -0000	1.4
***************
*** 1,3 ****
! /// PASS
    /// Toplevel
  <Collection C, T, U> C<U> bar(C<T>, T->U);
--- 1,27 ----
! /// FAIL
!   B /* FAIL HERE*/ b = bar(new B());
!   /// Toplevel
! interface I {}
! <I T> T foo(T);
! 
! <I T> T bar(T t);
!   
! class A implements I {}
! bar(#A x) = x;
! foo(#A x) = x;
! 
! <T> bar(x@B : X)
! {
!   X /*/// FAIL HERE*/ res = foo(x);
!   bug(res);
!   return res;
! }
! 
! class B extends A {
!   void bug() {}
! }
! foo(#B) = new A();
! 
! /// PASS bug
    /// Toplevel
  <Collection C, T, U> C<U> bar(C<T>, T->U);