fix: lower all opaque type lifetime to early bound in async bounds lowering

Author: dfireBird

crates/hir-ty/src/lower.rs

@@ -594,6 +594,7 @@ impl<'db, 'a> TyLoweringContext<'db, 'a> {
                             |index, param @ (id, data), _| {
                                 if let GenericParamDataRef::LifetimeParamData(lt) = data
                                     && lt.is_late_bound()
+                                    && !self.is_lowering_impl_trait_bounds
                                 {
                                     let GenericParamId::LifetimeParamId(id) = id else {
                                         unreachable!()

crates/hir-ty/src/tests/traits.rs

@@ -5315,3 +5315,27 @@ fn bar() {
 "#,
     );
 }
+
+#[test]
+fn async_impl_trait() {
+    check_no_mismatches(
+        r#"
+//- minicore: future
+trait Reader {}
+
+struct Path {}
+struct Result<T> { v: T }
+
+impl Reader for () {}
+
+async fn read<'a>(path: &'a Path) -> Result<impl Reader + 'a> {
+    Result { v: () }
+}
+
+fn foo() {
+    let p = Path {};
+    let v = read(&p);
+}
+"#,
+    );
+}