[Nice-commit] Nice/testsuite/compiler/methods constrained.testsuite,1.4,1.5

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

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

Modified Files:
	constrained.testsuite 
Log Message:
Report an error when a method implementation binds type parameters that are
not in the method declaration.


Index: constrained.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/constrained.testsuite,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** constrained.testsuite	18 Jun 2003 18:12:46 -0000	1.4
--- constrained.testsuite	11 Sep 2003 21:07:01 -0000	1.5
***************
*** 74,75 ****
--- 74,89 ----
    /*/// FAIL HERE */ foo(@X){} 
    //@X is not in the domain of foo 
+ 
+ /// FAIL
+   /// Toplevel
+ class A
+ {
+   void f();
+   f() {}
+ }
+ 
+ class B extends A
+ {
+   // Use type parameter that does not exist in the declaration
+   <U> f() {}
+ }