[Nice-commit] Nice/testsuite/compiler/overloading complex.testsuite,1.1,1.2

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

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

Modified Files:
	complex.testsuite 
Log Message:
When a constraint implies by minimality that a rigid element is below
another rigid element, fail fast, instead of modifying destructively
the rigid constraint.


Index: complex.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/overloading/complex.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** complex.testsuite	5 May 2003 09:29:33 -0000	1.1
--- complex.testsuite	5 May 2003 16:39:44 -0000	1.2
***************
*** 1,3 ****
! /// PASS bug
    String[] oa2 = ["abc"];
    System.out.println(""+equals([null], oa2));
--- 1,3 ----
! /// PASS
    String[] oa2 = ["abc"];
    System.out.println(""+equals([null], oa2));
***************
*** 5,9 ****
    <T,U,V | U <: T, V <: T> boolean equals(U[], V[]) = native boolean Arrays.equals(Object[],Object[]);
  
! /// PASS bug
    String[] sa1 = ["xyz"];
    eq2(sa1, [null]);
--- 5,9 ----
    <T,U,V | U <: T, V <: T> boolean equals(U[], V[]) = native boolean Arrays.equals(Object[],Object[]);
  
! /// PASS
    String[] sa1 = ["xyz"];
    eq2(sa1, [null]);
***************
*** 13,17 ****
    <Any T> boolean eq2(?T, ?T) = false;
    
! /// PASS bug
    List<String> list1 = new ArrayList();
    List<int> list2 = new ArrayList();
--- 13,17 ----
    <Any T> boolean eq2(?T, ?T) = false;
    
! /// PASS
    List<String> list1 = new ArrayList();
    List<int> list2 = new ArrayList();