Support leak check for new style region constraint

[adwinwhite]

Supporting leak check is straightforward now that we have a constraint list like before.
TODO: adapt it to handle leaf region constraints from relating.

r? Boxyuwu

[rustbot]

Boxyuwu is currently at their maximum review capacity.
They may take a while to respond.

[adwinwhite]

unsure about whether the inheriting is correct 🤔

View changes since the review

[BoxyUwU]

yep seems right to me

[rust-log-analyzer]

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

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

---- [ui] tests/ui/assumptions_on_binders/same-universe-placeholder-outlives.rs stdout ----

error: test compilation failed although it shouldn't!
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/assumptions_on_binders/same-universe-placeholder-outlives.rs" "-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/assumptions_on_binders/same-universe-placeholder-outlives" "-Znext-solver=coherence" "-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" "--edition=2015" "-Zassumptions-on-binders" "-Znext-solver=globally"
stdout: none
--- stderr -------------------------------
error: forall expect clause failed
##[error]  --> /checkout/tests/ui/assumptions_on_binders/same-universe-placeholder-outlives.rs:57:17
   |
---
---- [ui] tests/ui/assumptions_on_binders/test-infra-works.rs stdout ----

error: test compilation failed although it shouldn't!
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/assumptions_on_binders/test-infra-works.rs" "-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/assumptions_on_binders/test-infra-works" "-Znext-solver=coherence" "-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" "--edition=2015" "-Zassumptions-on-binders" "-Znext-solver=globally"
stdout: none
--- stderr -------------------------------
error: forall expect clause failed
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-works.rs:28:17
   |
---
---- [ui] tests/ui/assumptions_on_binders/test-infra-fails-properly.rs stdout ----
Saved the actual stderr to `/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/assumptions_on_binders/test-infra-fails-properly/test-infra-fails-properly.stderr`
diff of stderr:

59    = note: and here it is `Debug`ged :3 {type error}
60 
61 error: forall expect clause failed
+   --> $DIR/test-infra-fails-properly.rs:63:17
+    |
+ LL |                 'c: 'b,
+    |                 ^^^^^^
+    |
+ note: constraint from here
+   --> $DIR/test-infra-fails-properly.rs:59:9
+    |
---
78                'static,
+                No,
79            )
80 
81 error: bound type test binder constraint must be alias (it's a AliasTyOutlivesViaEnv)

147 LL |         forall<'a> where 'a: 'static {
148    |         ^^^^^^
149 
- error: aborting due to 16 previous errors
---
-   --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:63:17
-   --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:59:9
+   --> $DIR/test-infra-fails-properly.rs:63:17
+    |
+ LL |                 'c: 'b,
+    |                 ^^^^^^
+    |
+ note: constraint from here
+   --> $DIR/test-infra-fails-properly.rs:59:9
+    |
---
To only update this specific test, also pass `--test-args assumptions_on_binders/test-infra-fails-properly.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/assumptions_on_binders/test-infra-fails-properly.rs" "-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/assumptions_on_binders/test-infra-fails-properly" "-Znext-solver=coherence" "-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" "--edition=2015" "-Zassumptions-on-binders" "-Znext-solver=globally"
stdout: none
--- stderr -------------------------------
error: expected one of `!`, `(`, `+`, `::`, `:`, or `<`, found `{`
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:17:20
   |
LL |             forall { }
   |                    ^ expected one of `!`, `(`, `+`, `::`, `:`, or `<`

error: expected one of `!`, `(`, `+`, `::`, `:`, or `<`, found `{`
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:26:20
   |
LL |             forall { }
   |                    ^ expected one of `!`, `(`, `+`, `::`, `:`, or `<`

error: expected lifetime, found keyword `for`
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:41:12
   |
LL |         T: for<'b> Trait<'b>,
---
   |                ^
   |
   = note: see issue #108185 <https://github.com/rust-lang/rust/issues/108185> for more information
   = help: add `#![feature(non_lifetime_binders)]` to the crate attributes to enable
   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date

error: higher-ranked lifetime bound could not be satisfied
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:9:9
   |
LL |         'a: 'b
   |         ^^^^^^

error: the lhs of a ty outlives must be a placeholder
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:34:9
   |
LL |         dyn for<'b> Trait<'b>: 'a,
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: it is a (dyn for<'b> Trait<'b> + 'static)
   = note: and here it is `Debug`ged :3 dyn [Binder { value: Trait(Trait<'b>), bound_vars: [Region(BrNamed(DefId(0:15 ~ test_infra_fails_properly[2377]::{test_binder_constraints#1}::'b)))] }] + 'static

error: the lhs of a forall where clause must be an alias, placeholder, or lifetime
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:48:9
   |
LL |         forall<T> where T: 'a {
   |         ^^^^^^
   |
   = note: the bad clause is {type error}: 'a

error: the lhs of a ty outlives must be a placeholder
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:51:13
   |
LL |             T: 'a,
   |             ^^^^^
   |
   = note: it is a {type error}
   = note: and here it is `Debug`ged :3 {type error}

error: forall expect clause failed
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:63:17
   |
LL |                 'c: 'b,
---
               'static,
               No,
           )

error: bound type test binder constraint must be alias (it's a AliasTyOutlivesViaEnv)
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:73:15
   |
LL |         for<> T: 'a
   |               ^

error: the lhs of a forall where clause must be an alias, placeholder, or lifetime
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:80:9
   |
LL |         forall<'b> where Struct<'a>: 'b {
   |         ^^^^^^
   |
   = note: the bad clause is for<'b> Struct<'a>: 'b

error: all implied bounds of clauses must themselves be included in the where clause of a forall
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:80:9
   |
LL |         forall<'b> where Struct<'a>: 'b {
   |         ^^^^^^
   |
   = note: missing clause is for<'b> 'a: 'b

error: forall expect clause failed
##[error]  --> /checkout/tests/ui/assumptions_on_binders/test-infra-fails-properly.rs:91:13
   |
LL |             ambiguity

[rust-bors]

☔ The latest upstream changes (presumably #164355) made this pull request unmergeable. Please resolve the merge conflicts by rebasing.