Test fixup

Author: aturon

src/solve/test.rs

@@ -859,7 +859,7 @@ fn mixed_indices_normalize_application() {
                 }
             }
         } yields {
-            "Unique" // normalizations exist even if the trait isn't implemented
+            "Ambig"
         }
     }
 }
@@ -1194,3 +1194,27 @@ fn negation_free_vars() {
         }
     }
 }
+
+// TODO: get this test working!
+#[test]
+#[ignore]
+fn where_clause_trumps() {
+    test! {
+        program {
+            struct Foo { }
+
+            trait Marker { }
+            impl Marker for Foo { }
+        }
+
+        goal {
+            forall<T> {
+                if (T: Marker) {
+                    T: Marker
+                }
+            }
+        } yields {
+            "Unique"
+        }
+    }
+}