erase regions in cause code

Author: adwinwhite

compiler/rustc_trait_selection/src/error_reporting/traits/suggestions.rs

@@ -1499,7 +1499,11 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
         };
 
         if let ObligationCauseCode::ImplDerived(cause) = &*code {
-            try_borrowing(cause.derived.parent_trait_pred, &[])
+            // Parent trait predicate may contain regions that's already popped.
+            // We can erase them since evaluation later doesn't care about regions anyway.
+            let parent_trait_pred =
+                self.tcx.erase_and_anonymize_regions(cause.derived.parent_trait_pred);
+            try_borrowing(parent_trait_pred, &[])
         } else if let ObligationCauseCode::WhereClause(..)
         | ObligationCauseCode::WhereClauseInExpr(..) = code
         {

tests/ui/traits/next-solver/normalize/outdated-region-in-cause-code.rs

@@ -0,0 +1,37 @@
+//@ compile-flags: -Znext-solver
+//@ edition: 2024
+//
+// A regression test for the ICE variant in trait-system-refactor-initiative#245.
+// We'll meet regions that already popped off when using parent predicate in cause code.
+
+trait AsyncFn: Send + 'static {
+    type Fut: Future<Output = ()> + Send;
+
+    fn call(&self) -> Self::Fut;
+}
+
+async fn wrap_call<P: AsyncFn + ?Sized>(filter: &P) {
+    filter.call().await;
+}
+
+fn get_boxed_fn() -> Box<DynAsyncFnBoxed> {
+    todo!()
+}
+
+async fn cursed_fut() {
+    wrap_call(get_boxed_fn().as_ref()).await;
+}
+
+fn observe_fut_not_send() {
+    assert_send(cursed_fut());
+    //~^ ERROR: `dyn AsyncFn<Fut = Pin<Box<dyn Future<Output = ()> + Send>>>` cannot be shared between threads safely [E0277]
+}
+
+fn assert_send<T: Send>(t: T) -> T {
+    t
+}
+
+pub type BoxFuture<'a, T> = std::pin::Pin<Box<dyn Future<Output = T> + Send + 'a>>;
+type DynAsyncFnBoxed = dyn AsyncFn<Fut = BoxFuture<'static, ()>>;
+
+fn main() {}

tests/ui/traits/next-solver/normalize/outdated-region-in-cause-code.stderr

@@ -0,0 +1,35 @@
+error[E0277]: `dyn AsyncFn<Fut = Pin<Box<dyn Future<Output = ()> + Send>>>` cannot be shared between threads safely
+  --> $DIR/outdated-region-in-cause-code.rs:26:17
+   |
+LL |     assert_send(cursed_fut());
+   |     ----------- ^^^^^^^^^^^^ `dyn AsyncFn<Fut = Pin<Box<dyn Future<Output = ()> + Send>>>` cannot be shared between threads safely
+   |     |
+   |     required by a bound introduced by this call
+   |
+   = help: the trait `Sync` is not implemented for `dyn AsyncFn<Fut = Pin<Box<dyn Future<Output = ()> + Send>>>`
+   = note: required for `&dyn AsyncFn<Fut = Pin<Box<dyn Future<Output = ()> + Send>>>` to implement `Send`
+note: required because it's used within this `async` fn body
+  --> $DIR/outdated-region-in-cause-code.rs:13:53
+   |
+LL |   async fn wrap_call<P: AsyncFn + ?Sized>(filter: &P) {
+   |  _____________________________________________________^
+LL | |     filter.call().await;
+LL | | }
+   | |_^
+note: required because it's used within this `async` fn body
+  --> $DIR/outdated-region-in-cause-code.rs:21:23
+   |
+LL |   async fn cursed_fut() {
+   |  _______________________^
+LL | |     wrap_call(get_boxed_fn().as_ref()).await;
+LL | | }
+   | |_^
+note: required by a bound in `assert_send`
+  --> $DIR/outdated-region-in-cause-code.rs:30:19
+   |
+LL | fn assert_send<T: Send>(t: T) -> T {
+   |                   ^^^^ required by this bound in `assert_send`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.