[Nice-commit] Nice/testsuite/compiler/classes typeParameters.testsuite,1.12,1.13

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

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

Modified Files:
	typeParameters.testsuite 
Log Message:
When a default value is used in a method call, use the declared type of that
parameter to compute the resulting type.


Index: typeParameters.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/classes/typeParameters.testsuite,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** typeParameters.testsuite	25 Jul 2003 16:59:23 -0000	1.12
--- typeParameters.testsuite	26 Jul 2003 22:29:47 -0000	1.13
***************
*** 224,225 ****
--- 224,265 ----
      Impl<int> w = new Impl();
    }
+ 
+ /// PASS
+   /// Toplevel
+ class Bar<U> {
+     U e;
+ }
+ class II<T> {
+     private Bar<T> lp;
+     void foo(T element) {
+ 	this.lp = new Bar(e: element);
+     }
+ }
+ 
+ /// PASS
+   /// Toplevel
+ interface A<T> {}
+ interface C<T> {}
+ class CImpl<T> extends Impl<T> implements C<T> {}
+ class Impl<T> {
+     T -> int bar = T t1 => 0;
+ }
+ class Foo<T> {
+     Impl<int> w = new Impl();     // works
+     Impl<A<int>> s = new Impl();  // works
+     C<A<T>> t = new CImpl();       // does not work!
+ }
+ 
+ /// PASS
+   new B();
+   /// Toplevel
+ class A<T> { T->T f = T x => { T tmp = x; return tmp; }; }
+ class B<T> extends A<T> {}
+ 
+ /// PASS
+   /// Toplevel
+ class Foo<T> {
+   T t;
+ 
+   { t = t; this.t = t; t = this.t; this.t = this.t; }
+ }