Add impl_trait_in_bindings tests from #61773

Author: mominul

tests/ui/impl-trait/in-bindings/lifetime-equality.rs

@@ -0,0 +1,16 @@
+//@ check-pass
+
+#![feature(impl_trait_in_bindings)]
+
+trait Trait<'a, 'b> { }
+impl<T> Trait<'_, '_> for T { }
+
+
+fn bar<'a, 'b>(data0: &'a u32, data1: &'b u32) {
+  let x: impl Trait<'_, '_> = (data0, data1);
+  force_equal(x);
+}
+
+fn force_equal<'a>(t: impl Trait<'a, 'a>) { }
+
+fn main() { }

tests/ui/impl-trait/in-bindings/region-lifetimes.rs

@@ -0,0 +1,14 @@
+//@ check-pass
+
+#![feature(impl_trait_in_bindings)]
+
+trait Foo<'a> { }
+impl Foo<'_> for &u32 { }
+
+fn bar<'a>(data: &'a u32) {
+  let x: impl Foo<'_> = data;
+}
+
+fn main() {
+  let _: impl Foo<'_> = &44;
+}