tests: Add ui/higher-ranked/trait-bounds/normalize-generic-arg.rs

tests/ui/higher-ranked/trait-bounds/normalize-generic-arg.rs

@@ -0,0 +1,22 @@
+//@ check-pass
+
+/// This triggers an ICE with (and without) `--emit metadata` on
+/// ```
+/// rustc +nightly-2023-01-09 tests/ui/higher-ranked/trait-bounds/normalize-generic-arg.rs
+/// ```
+/// but was unknowingly fixed by <https://github.com/rust-lang/rust/pull/101947>
+/// in `nightly-2023-01-10`.
+
+trait Trait<'a> {
+    type Assoc;
+}
+
+fn foo<T: for<'a> Trait<'a>>() -> for<'a> fn(<T as Trait<'a>>::Assoc) {
+    todo!()
+}
+
+fn bar<T: for<'a> Trait<'a>>() {
+    let _: for<'a> fn(<_ as Trait<'a>>::Assoc) = foo::<T>();
+}
+
+fn main() {}