[Nice-commit] Nice/testsuite/compiler/classes variance.testsuite,NONE,1.1

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

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

Added Files:
	variance.testsuite 
Log Message:
Classes with contra-variant type parameters should check that their fields
do not use them in co-variant position.


--- NEW FILE: variance.testsuite ---
/// FAIL bug
  /// Toplevel
interface X{}
interface Y extends X{
    boolean foo();
}
class A implements X{}
class B<-T>{
    T param;
}   
public void main(String[] args){
    B<X> b1 = new B(param: new A());
    B<Y> b2 = b1;
    b2.param.foo();
}