Port coherence_overlap to ui tests

Author: oli-obk

tests/coherence_orphan.rs

@@ -0,0 +1,4 @@
+Error: orphan_check(impl <> CoreTrait < > for (rigid (adt CoreStruct)) where [] { })
+
+Caused by:
+    failed to prove {@ IsLocal(CoreTrait((rigid (adt CoreStruct))))} given {}, got {}

tests/ui/coherence_orphan/CoreTrait_for_CoreStruct_in_Foo.stderr

@@ -0,0 +1,9 @@
+[
+    crate core {
+        trait CoreTrait<> where [] {}
+        struct CoreStruct<> where [] {}
+    },
+    crate foo {
+        impl<> CoreTrait<> for CoreStruct<> where [] {}
+    }
+]

tests/ui/coherence_orphan/CoreTrait_for_CoreStruct_in_Foo.🔬

@@ -0,0 +1,4 @@
+Error: orphan_check(impl <> CoreTrait < > for (alias (Unit :: Assoc) (rigid (adt FooStruct))) where [] { })
+
+Caused by:
+    failed to prove {@ IsLocal(CoreTrait((alias (Unit :: Assoc) (rigid (adt FooStruct)))))} given {}, got {}

tests/ui/coherence_orphan/alias_to_unit.stderr

@@ -0,0 +1,17 @@
+[
+    crate core {
+        trait CoreTrait<> where [] {}
+
+        trait Unit<> where [] {
+            type Assoc<> : [] where [];
+        }
+
+        impl<ty T> Unit<> for T where [] {
+            type Assoc<> = () where [];
+        }
+    },
+    crate foo {
+        struct FooStruct<> where [] {}
+        impl<> CoreTrait<> for <FooStruct<> as Unit<>>::Assoc<> where [] {}
+    }
+]

tests/ui/coherence_orphan/alias_to_unit.🔬

@@ -0,0 +1,11 @@
+//@check-pass
+[
+    crate core {
+        trait CoreTrait<ty T> where [] {}
+        struct Vec<ty T> where [] {}
+    },
+    crate foo {
+        struct FooStruct<> where [] {}
+        impl<ty T> CoreTrait<FooStruct<>> for Vec<T> where [] {}
+    }
+]

tests/ui/coherence_orphan/covered_VecT.🔬

@@ -0,0 +1,4 @@
+Error: orphan_check(impl <> CoreTrait < > for (alias (Mirror :: Assoc) (rigid (adt CoreStruct))) where [] { })
+
+Caused by:
+    failed to prove {@ IsLocal(CoreTrait((alias (Mirror :: Assoc) (rigid (adt CoreStruct)))))} given {}, got {}

tests/ui/coherence_orphan/mirror_CoreStruct.stderr

@@ -0,0 +1,17 @@
+[
+    crate core {
+        trait CoreTrait<> where [] {}
+        struct CoreStruct<> where [] {}
+
+        trait Mirror<> where [] {
+            type Assoc<> : [] where [];
+        }
+
+        impl<ty T> Mirror<> for T where [] {
+            type Assoc<> = T where [];
+        }
+    },
+    crate foo {
+        impl<> CoreTrait<> for <CoreStruct<> as Mirror<>>::Assoc<> where [] {}
+    }
+]

tests/ui/coherence_orphan/mirror_CoreStruct.🔬

@@ -0,0 +1,18 @@
+//@check-pass
+[
+    crate core {
+        trait CoreTrait<> where [] {}
+
+        trait Mirror<> where [] {
+            type Assoc<> : [] where [];
+        }
+
+        impl<ty T> Mirror<> for T where [] {
+            type Assoc<> = T where [];
+        }
+    },
+    crate foo {
+        struct FooStruct<> where [] {}
+        impl<> CoreTrait<> for <FooStruct<> as Mirror<>>::Assoc<> where [] {}
+    }
+]

tests/ui/coherence_orphan/mirror_FooStruct.🔬

@@ -0,0 +1,4 @@
+Error: orphan_check_neg(impl <> ! CoreTrait < > for (rigid (adt CoreStruct)) where [] {})
+
+Caused by:
+    failed to prove {@ IsLocal(CoreTrait((rigid (adt CoreStruct))))} given {}, got {}