Add test for higher-ranked fn ptr in duplicated associated types in dyn.

This does not work yet, and will be fixed in a subsequent commit.

Author: theemathas

tests/ui/associated-type-bounds/duplicate-bound-in-dyn-higher-ranked.rs

@@ -0,0 +1,36 @@
+// Test that alpha-equivalent associated types are treated as the same type
+// for the purposes of prohibiting conflicting associated types in dyn.
+// This does not work properly yet.
+
+#![feature(trait_alias)]
+
+trait Trait {
+    type Assoc;
+}
+trait Alias = Trait<Assoc = for<'a> fn(&'a ())>;
+fn via_trait_alias(_: &dyn Alias<Assoc = for<'b> fn(&'b ())>) {}
+//~^ ERROR conflicting associated type bindings for `Assoc`
+
+trait Super<T> {
+    type Assoc;
+}
+trait Sub: Super<i32, Assoc = for<'a> fn(&'a ())> + Super<i64, Assoc = for<'b> fn(&'b ())> {}
+fn via_supertrait(_: &dyn Sub) {}
+//~^ ERROR conflicting associated type bindings for `Assoc`
+
+struct Thing;
+impl Trait for Thing {
+    type Assoc = fn(&());
+}
+impl Super<i32> for Thing {
+    type Assoc = fn(&());
+}
+impl Super<i64> for Thing {
+    type Assoc = fn(&());
+}
+impl Sub for Thing {}
+
+fn main() {
+    via_trait_alias(&Thing);
+    via_supertrait(&Thing);
+}

tests/ui/associated-type-bounds/duplicate-bound-in-dyn-higher-ranked.stderr

@@ -0,0 +1,21 @@
+error: conflicting associated type bindings for `Assoc`
+  --> $DIR/duplicate-bound-in-dyn-higher-ranked.rs:11:24
+   |
+LL | trait Alias = Trait<Assoc = for<'a> fn(&'a ())>;
+   |                     -------------------------- `Assoc` (in `Trait`) is specified to be `for<'a> fn(&'a ())` here
+LL | fn via_trait_alias(_: &dyn Alias<Assoc = for<'b> fn(&'b ())>) {}
+   |                        ^^^^^^^^^^--------------------------^
+   |                                  |
+   |                                  `Assoc` (in `Trait`) is specified to be `for<'b> fn(&'b ())` here
+
+error: conflicting associated type bindings for `Assoc`
+  --> $DIR/duplicate-bound-in-dyn-higher-ranked.rs:18:23
+   |
+LL | fn via_supertrait(_: &dyn Sub) {}
+   |                       ^^^^^^^
+   |
+   = note: `Assoc` (in `Super<i64>`) is specified to be `for<'b> fn(&'b ())`
+   = note: `Assoc` (in `Super<i32>`) is also specified to be `for<'a> fn(&'a ())`
+
+error: aborting due to 2 previous errors
+