itsscb/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-10-04 03:07:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
rust/compiler/rustc_hir_analysis
History
bors 4ccbb7dc95 Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr 
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item.

This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely (not done in this PR)

The only behaviour change is in diagnostics.

r? `@lcnr` `@compiler-errors`
2024-03-11 19:01:15 +00:00
..
src
Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr
2024-03-11 19:01:15 +00:00
Cargo.toml
bump itertools to 0.12
2024-03-08 12:34:05 +03:00
messages.ftl
Improve error message for opaque captures
2024-03-08 19:08:13 +00:00
README.md
…

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.