Tests covering how WellFormedTraitRef checks the trait's parameters

missing_dependent_where_clause fails (see #189)

Author: mattheww

src/test/mod.rs

@@ -5,6 +5,7 @@ mod coherence_overlap;
 mod consts;
 mod decl_safety;
 mod functions;
+mod well_formed_trait_ref;
 
 #[test]
 fn parser() {

src/test/well_formed_trait_ref.rs

@@ -0,0 +1,50 @@
+#![allow(non_snake_case)]
+
+#[test]
+fn dependent_where_clause() {
+    crate::assert_ok!(
+        //@check-pass
+        [
+            crate foo {
+                trait Trait1 {}
+
+                trait Trait2 {}
+
+                struct S1<ty T> where T: Trait1 {
+                    dummy: T,
+                }
+
+                struct S2<ty T> where T: Trait1, S1<T> : Trait2 {
+                    dummy: T,
+                }
+            }
+        ]
+
+        expect_test::expect!["()"]
+    )
+}
+
+#[test]
+fn missing_dependent_where_clause() {
+    crate::assert_err!(
+        [
+            crate foo {
+                trait Trait1 {}
+
+                trait Trait2 {}
+
+                struct S1<ty T> where T: Trait1 {
+                    dummy: T,
+                }
+
+                struct S2<ty T> where S1<T> : Trait2 {
+                    dummy: T,
+                }
+            }
+        ]
+
+        [ /* TODO */ ]
+
+        expect_test::expect![[r#"..."#]]
+    )
+}