Add regression test for #132055 (escaping bound vars ICE)

[Herrtian]

Summary

Adds a regression test for #132055.

Using return_type_notation with a trait that has a lifetime parameter but omitting the lifetime in the bound used to ICE with "assertion failed: !t.has_escaping_bound_vars()". The compiler now correctly reports E0106 (missing lifetime specifier) without crashing.

Test

tests/ui/associated-type-bounds/ice-escaping-bound-vars-132055.rs

Closes #132055

[rustbot]

r? @jackh726

rustbot has assigned @jackh726.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: compiler
• compiler expanded to 69 candidates
• Random selection from 10 candidates

[rustbot]

⚠️ Warning ⚠️

• There are issue links (such as #123) in the commit messages of the following commits.
  Please move them to the PR description, to avoid spamming the issues with references to the commit, and so this bot can automatically canonicalize them to avoid issues with subtree.
  • d95a528

[rust-log-analyzer]

The job aarch64-gnu-llvm-21-1 failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

##[endgroup]
Executing "/scripts/stage_2_test_set1.sh"
+ /scripts/stage_2_test_set1.sh
+ '[' 1 == 1 ']'
+ echo 'PR_CI_JOB set; skipping tidy'
+ SKIP_TIDY='--skip tidy'
+ ../x.py --stage 2 test --skip tidy --skip compiler --skip src
PR_CI_JOB set; skipping tidy
##[group]Building bootstrap
    Finished `dev` profile [unoptimized] target(s) in 0.04s
##[endgroup]
---
test [ui] tests/ui/zero-sized/zero-sized-btreemap-insert.rs ... ok

failures:

---- [ui] tests/ui/associated-type-bounds/ice-escaping-bound-vars-132055.rs stdout ----
Saved the actual stderr to `/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/associated-type-bounds/ice-escaping-bound-vars-132055/ice-escaping-bound-vars-132055.stderr`
diff of stderr:

1 error[E0106]: missing lifetime specifier
-  --> $DIR/ice-escaping-bound-vars-132055.rs:12:12
-   |
+   --> $DIR/ice-escaping-bound-vars-132055.rs:12:12
+    |
4 LL | fn foo<T: A<method(..): Send>>() {}
-   |            ^ expected named lifetime parameter
-   |
-   = note: for more information on higher-ranked polymorphism, visit https://doc.rust-lang.org/nomicon/hrtb.html
+    |            ^ expected named lifetime parameter
+    |
+    = note: for more information on higher-ranked polymorphism, visit https://doc.rust-lang.org/nomicon/hrtb.html
8 help: consider making the bound lifetime-generic with a new `'a` lifetime
-   |
+    |
10 LL | fn foo<T: for<'a> A<'a, method(..): Send>>() {}
-   |           +++++++   +++
+    |           +++++++   +++
12 help: consider introducing a named lifetime parameter
-   |
+    |
14 LL | fn foo<'a, T: A<'a, method(..): Send>>() {}
-   |        +++      +++
+    |        +++      +++
16 
17 error: aborting due to 1 previous error
18 

Note: some mismatched output was normalized before being compared
-   --> /checkout/tests/ui/associated-type-bounds/ice-escaping-bound-vars-132055.rs:12:12
+   --> $DIR/ice-escaping-bound-vars-132055.rs:12:12
+    |
+    |            ^ expected named lifetime parameter
+    |
+    = note: for more information on higher-ranked polymorphism, visit https://doc.rust-lang.org/nomicon/hrtb.html
+    |
+    |           +++++++   +++
+    |
+    |        +++      +++


The actual stderr differed from the expected stderr
To update references, rerun the tests and pass the `--bless` flag
To only update this specific test, also pass `--test-args associated-type-bounds/ice-escaping-bound-vars-132055.rs`

error: 1 errors occurred comparing output.
status: exit status: 1
command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/associated-type-bounds/ice-escaping-bound-vars-132055.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2" "--target=aarch64-unknown-linux-gnu" "--check-cfg" "cfg(test,FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/associated-type-bounds/ice-escaping-bound-vars-132055" "-A" "unused" "-W" "unused_attributes" "-A" "internal_features" "-A" "incomplete_features" "-A" "unused_parens" "-A" "unused_braces" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/aarch64-unknown-linux-gnu/native/rust-test-helpers"
stdout: none
--- stderr -------------------------------
error[E0106]: missing lifetime specifier
##[error]  --> /checkout/tests/ui/associated-type-bounds/ice-escaping-bound-vars-132055.rs:12:12
   |
LL | fn foo<T: A<method(..): Send>>() {}
   |            ^ expected named lifetime parameter
   |
   = note: for more information on higher-ranked polymorphism, visit https://doc.rust-lang.org/nomicon/hrtb.html
help: consider making the bound lifetime-generic with a new `'a` lifetime
   |
LL | fn foo<T: for<'a> A<'a, method(..): Send>>() {}
   |           +++++++   +++
help: consider introducing a named lifetime parameter
   |
LL | fn foo<'a, T: A<'a, method(..): Send>>() {}
   |        +++      +++

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0106`.

[lqd]

Could you say more about this test as well, #132055 doesn’t look to involve RTN, so it doesn’t seem to match the one in the issue?

[Herrtian]

You're right, I apologize for the mismatch. The test I added doesn't accurately reproduce the original issue #132055. Let me close this and revisit with the correct reproducer if needed.