Support non-defining uses in HIR typeck #145711

lcnr · 2025-08-21T11:57:34Z

This changes the impl of NormalizesTo for opaque types to be structural during HIR typeck. The previous impl equated region variables of the opaque type key with existing entries which can result in spurious leak check errors and also results in mismatches with MIR borrowck, theoretically causing ICE.

The approach is very similar to #145244 in MIR typeck:

we collect all uses of opaque types during HIR typeck
before writeback, we search for defining uses
- the opaque type key has fully universal generic args modulo regions
- the hidden type has no infer vars
we use these defining uses to compute the concrete type for the opaque and map it to the definition site
we use this concrete type to check the type of all uses of opaques during HIR typeck. This also constrains infer vars in non-defining uses

Fixes rust-lang/trait-system-refactor-initiative#135, fixes rust-lang/trait-system-refactor-initiative#49.

r? @BoxyUwU

rustbot · 2025-08-21T11:57:41Z

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

compiler/rustc_middle/src/ty/mod.rs

compiler/rustc_hir_typeck/src/opaque_types.rs

compiler/rustc_hir_typeck/src/writeback.rs

compiler/rustc_next_trait_solver/src/solve/normalizes_to/opaque_types.rs

bors · 2025-08-23T06:28:05Z

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

rustbot · 2025-08-25T08:36:55Z

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

erase regions also anonymizes bound vars, which is undesirable

lcnr · 2025-08-25T12:25:35Z

@bors r=BoxyUwU rollup=never

bors · 2025-08-25T12:25:39Z

📌 Commit d6a18e1 has been approved by BoxyUwU

It is now in the queue for this repository.

rust-log-analyzer · 2025-08-25T13:30:14Z

The job x86_64-gnu-tools failed! Check out the build log: (web) (plain enhanced) (plain)

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

npm WARN deprecated [email protected]: Glob versions prior to v9 are no longer supported
npm WARN deprecated @humanwhocodes/[email protected]: Use @eslint/object-schema instead
npm WARN deprecated [email protected]: Rimraf versions prior to v4 are no longer supported
npm WARN deprecated [email protected]: This version is no longer supported. Please see https://eslint.org/version-support for other options.
npm ERR! code E403
npm ERR! 403 403 Forbidden - GET https://registry.npmjs.org/yargs/-/yargs-17.7.2.tgz
npm ERR! 403 In most cases, you or one of your dependencies are requesting
npm ERR! 403 a package version that is forbidden by your security policy, or
npm ERR! 403 on a server you do not have access to.

npm ERR! A complete log of this run can be found in: /home/user/.npm/_logs/2025-08-25T13_28_48_241Z-debug-0.log
npm install did not exit successfully

thread 'main' panicked at src/tools/rustdoc-gui-test/src/main.rs:69:10:
unable to install browser-ui-test: Custom { kind: Other, error: "npm install returned exit code exit status: 1" }
stack backtrace:
   0: __rustc::rust_begin_unwind
             at /rustc/788da80fcfcef3f34c90def5baa32813e39a1a41/library/std/src/panicking.rs:697:5
   1: core::panicking::panic_fmt
             at /rustc/788da80fcfcef3f34c90def5baa32813e39a1a41/library/core/src/panicking.rs:75:14

lcnr · 2025-08-25T13:42:48Z

@bors r=BoxyUwU

bors · 2025-08-25T13:42:52Z

💡 This pull request was already approved, no need to approve it again.

There's another pull request that is currently being tested, blocking this pull request: Rollup of 10 pull requests #145844

bors · 2025-08-25T13:42:52Z

📌 Commit d6a18e1 has been approved by BoxyUwU

It is now in the queue for this repository.

rust-log-analyzer · 2025-08-25T14:03:10Z

The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)

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

npm WARN deprecated [email protected]: Rimraf versions prior to v4 are no longer supported
npm WARN deprecated @humanwhocodes/[email protected]: Use @eslint/object-schema instead
npm WARN deprecated @humanwhocodes/[email protected]: Use @eslint/config-array instead
npm WARN deprecated [email protected]: Glob versions prior to v9 are no longer supported
npm ERR! code E429
npm ERR! 429 Too Many Requests - GET https://registry.npmjs.org/string-width/-/string-width-4.2.3.tgz

npm ERR! A complete log of this run can be found in: /home/user/.npm/_logs/2025-08-25T13_49_03_563Z-debug-0.log
tidy error: IO error: npm install returned exit code exit status: 1
npm install did not exit successfully
some tidy checks failed
Command `/checkout/obj/build/x86_64-unknown-linux-gnu/stage1-tools-bin/rust-tidy /checkout /checkout/obj/build/x86_64-unknown-linux-gnu/stage0/bin/cargo /checkout/obj/build 4 /node/bin/npm --extra-checks=py,cpp,js,spellcheck` failed with exit code 1
Created at: src/bootstrap/src/core/build_steps/tool.rs:1583:23
Executed at: src/bootstrap/src/core/build_steps/test.rs:1225:29

Command has failed. Rerun with -v to see more details.
Bootstrap failed while executing `test --stage 0 src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
Build completed unsuccessfully in 0:08:45
  local time: Mon Aug 25 13:55:15 UTC 2025
  network time: Mon, 25 Aug 2025 13:55:15 GMT
##[error]Process completed with exit code 1.

BoxyUwU · 2025-08-25T15:20:30Z

@bors retry

rustbot assigned BoxyUwU Aug 21, 2025

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Aug 21, 2025

BoxyUwU reviewed Aug 21, 2025

View reviewed changes

BoxyUwU added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 21, 2025

lcnr force-pushed the non-defining-uses-hir-typeck branch from a78b9d1 to da0cc61 Compare August 25, 2025 08:36

fold regions, don't erase

7ee5cf6

erase regions also anonymizes bound vars, which is undesirable

lcnr force-pushed the non-defining-uses-hir-typeck branch 8 times, most recently from e08e9d6 to 4ca8028 Compare August 25, 2025 10:45

lcnr added 2 commits August 25, 2025 14:20

support non-defining uses in HIR typeck

14b0ba6

change non-defining use error message

d6a18e1

lcnr force-pushed the non-defining-uses-hir-typeck branch from 4ca8028 to d6a18e1 Compare August 25, 2025 12:20

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 25, 2025

lcnr closed this Aug 25, 2025

lcnr reopened this Aug 25, 2025

rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 25, 2025

bors removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 25, 2025

lcnr mentioned this pull request Aug 25, 2025

support revealing uses in HIR typeck #140497

Closed

Support non-defining uses in HIR typeck #145711

Are you sure you want to change the base?

Support non-defining uses in HIR typeck #145711

Uh oh!

Conversation

lcnr commented Aug 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Aug 21, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

bors commented Aug 23, 2025

Uh oh!

rustbot commented Aug 25, 2025

Uh oh!

lcnr commented Aug 25, 2025

Uh oh!

bors commented Aug 25, 2025

Uh oh!

rust-log-analyzer commented Aug 25, 2025

Uh oh!

lcnr commented Aug 25, 2025

Uh oh!

bors commented Aug 25, 2025

Uh oh!

bors commented Aug 25, 2025

Uh oh!

rust-log-analyzer commented Aug 25, 2025

Uh oh!

BoxyUwU commented Aug 25, 2025

Uh oh!

Uh oh!

lcnr commented Aug 21, 2025 •

edited

Loading