add invalid trait bounds check test

Author: edg-l

notes.txt

@@ -258,3 +258,18 @@ fn missing_variant() {
         error
     );
 }
+
+#[test]
+fn trait_bounds() {
+    let (source, name) = (
+        include_str!("invalid_programs/trait_bounds.con"),
+        "invalid_programs/trait_bounds.con",
+    );
+    let error = check_invalid_program(source, name);
+
+    assert!(
+        matches!(&error, LoweringError::TraitBoundNotMet(..)),
+        "{:#?}",
+        error
+    );
+}

tests/checks.rs

@@ -0,0 +1,23 @@
+mod test {
+    pub trait ExampleTrait {
+        fn example(&self) -> u32;
+    }
+
+    struct ExampleStruct {
+        x: u32,
+    }
+
+    fn run<T: ExampleTrait>(value: T) -> u32 {
+        return value.example();
+    }
+
+    fn main() -> u32 {
+        let ex: ExampleStruct = ExampleStruct {
+            x: 2,
+        };
+
+        let result: u32 = run(ex);
+
+        return result;
+    }
+}