Extend test to cover related bug.

Author: mjp41

testsuite/verona_nostdlib/issues/651/651.verona

@@ -1,3 +1,4 @@
-type Copyable[Self] = { // This loops forever due to parameter name self
-  copy(self: Self) : Self
+// Using reserved keyword in parameter and type parameter should result in errors.
+type Copyable[Self] = {
+  copy(type: Self) : Self
 } & (Self < Copyable[Self])

testsuite/verona_nostdlib/issues/651/651_out/00_parse.trieste

@@ -17,7 +17,8 @@ parse
             (ident 4:copy)
             (paren
               (group
-                (ident 4:self)
+                (typealias
+                  {})
                 (colon)
                 (Self)))
             (colon)

testsuite/verona_nostdlib/issues/651/651_out/01_modules.trieste

@@ -26,7 +26,8 @@ modules
               (ident 4:copy)
               (paren
                 (group
-                  (ident 4:self)
+                  (typealias
+                    {})
                   (type
                     (Self))))
               (type

testsuite/verona_nostdlib/issues/651/651_out/02_structure.trieste

@@ -39,18 +39,19 @@ structure
             (ident 7:trait$0)
             (classbody
               (function
-                {
-                  self = param}
+                {}
                 (explicit)
                 (rhs)
                 (ident 4:copy)
                 (typeparams)
                 (params
-                  (param
-                    (ident 4:self)
-                    (type
-                      (Self))
-                    (dontcare)))
+                  (error
+                    (errormsg 20:Expected a parameter)
+                    (group
+                      (typealias
+                        {})
+                      (type
+                        (Self)))))
                 (type
                   (Self))
                 (dontcare)

testsuite/verona_nostdlib/issues/651/651_out/ast

@@ -39,18 +39,19 @@ structure
             (ident 7:trait$0)
             (classbody
               (function
-                {
-                  self = param}
+                {}
                 (explicit)
                 (rhs)
                 (ident 4:copy)
                 (typeparams)
                 (params
-                  (param
-                    (ident 4:self)
-                    (type
-                      (Self))
-                    (dontcare)))
+                  (error
+                    (errormsg 20:Expected a parameter)
+                    (group
+                      (typealias
+                        {})
+                      (type
+                        (Self)))))
                 (type
                   (Self))
                 (dontcare)

testsuite/verona_nostdlib/issues/651/651_out/stdout.txt

@@ -1,8 +1,14 @@
 Errors:
 Expected a type parameter or a value parameter
--- 651.verona:1:15
-type Copyable[Self] = { // This loops forever due to parameter name self
+-- 651.verona:2:15
+type Copyable[Self] = {
               ~~~~
 
-Pass structure failed with 1 error!
+----------------
+Expected a parameter
+-- 651.verona:3:8
+  copy(type: Self) : Self
+       ~~~~~~~~~~
+
+Pass structure failed with 2 errors!