Add lowering tests for arrays and const params

Author: nathanwhit

tests/lowering/mod.rs

@@ -288,6 +288,52 @@ fn check_variable_kinds() {
             "incorrect parameter kind for trait `IntoTime`: expected lifetime, found type"
         }
     }
+
+    lowering_error! {
+        program {
+            trait Length<const N> {}
+            struct Foo {}
+            impl<T> Length<T> for Foo {}
+        }
+        error_msg {
+            "incorrect parameter kind for trait `Length`: expected const, found type"
+        }
+    }
+
+    lowering_error! {
+        program {
+            trait Length<const N> {}
+            struct Foo {}
+            impl<'a> Length<'a> for Foo {}
+        }
+        error_msg {
+            "incorrect parameter kind for trait `Length`: expected const, found lifetime"
+        }
+    }
+
+    lowering_error! {
+        program {
+            trait Into<T> {}
+            struct Foo {}
+            impl<const N> Into<N> for Foo {}
+        }
+
+        error_msg {
+            "incorrect parameter kind for trait `Into`: expected type, found const"
+        }
+    }
+
+    lowering_error! {
+        program {
+            trait IntoTime<'a> {}
+            struct Foo {}
+            impl<const N> IntoTime<N> for Foo {}
+        }
+
+        error_msg {
+            "incorrect parameter kind for trait `IntoTime`: expected lifetime, found const"
+        }
+    }
 }
 
 #[test]
@@ -584,7 +630,6 @@ fn fn_defs() {
         }
     }
 }
-
 #[test]
 fn arrays() {
     lowering_success! {
@@ -595,4 +640,40 @@ fn arrays() {
             fn bar<const N>(baz: [Baz; N]);
         }
     }
+
+    lowering_error! {
+        program {
+            struct Baz { }
+
+            fn foo<T>(baz: [Baz; u32]);
+        }
+
+        error_msg {
+            "parse error: UnrecognizedToken"
+        }
+    }
+
+    lowering_error! {
+        program {
+            struct Baz { }
+
+            fn foo<T>(baz: [Baz; T]);
+        }
+
+        error_msg {
+            "incorrect parameter kind for `T`: expected const, found type"
+        }
+    }
+
+    lowering_error! {
+        program {
+            struct Baz { }
+
+            fn foo<'a>(baz: [Baz; 'a]);
+        }
+
+        error_msg {
+            "parse error: UnrecognizedToken"
+        }
+    }
 }