rust/compiler/rustc_infer/src, branch betahttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=beta2025-09-09T12:49:16+00:00erase_regions to erase_and_anonymize_regions2025-09-09T12:49:16+00:00Boxyrust@boxyuwu.dev2025-08-21T15:50:54+00:00urn:sha1:e379c7758667f900aaf5551c4553c7d4c121e3e1Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU2025-09-08T19:39:36+00:00borsbors@rust-lang.org2025-09-08T19:39:36+00:00urn:sha1:9c27f27ea3bab79a2fec827ef3ae0009959d60f4
eagerly compute `sub_unification_table` again
Previously called `sub_relations`. We still only using them for diagnostics right now. This mostly reverts rust-lang/rust#119989. Necessary for type inference guidance due to not-yet defined opaque types, cc https://github.com/rust-lang/trait-system-refactor-initiative/issues/182.
We could use them for cycle detection in generalization and it seems desirable to do so in the future. However, this is unsound with the old trait solver as its cache does not track these `sub_unification_table` in any way.
We now properly track the `sub_unification_table` when canonicalizing so using them in the new solver is totally sound and the performance impact is far more manageable than I thought back in rust-lang/rust#119989.
r? `@compiler-errors`
review2025-09-08T12:17:56+00:00lcnrrust@lcnr.de2025-09-08T09:41:43+00:00urn:sha1:b51a3a565a056235f3864e2cefdb9449f6b0dcb1optimize `CanonicalVarValues::instantiate`2025-09-08T12:17:56+00:00lcnrrust@lcnr.de2025-08-27T07:42:09+00:00urn:sha1:f51458640840cb94c32f1e55431b1c855ca22e88pass `sub_relations` into canonical queries2025-09-08T12:17:56+00:00lcnrrust@lcnr.de2025-08-26T13:23:57+00:00urn:sha1:28a0e77d1318210540fa1a561b9a8af08e2ffe40inline `CanonicalTyVarKind`2025-09-08T12:17:56+00:00lcnrrust@lcnr.de2025-04-28T17:21:36+00:00urn:sha1:2cb04b960fb8ae7f29401cd982bdb829b6c54a03eagerly compute `sub_relations` again2025-09-08T12:17:56+00:00lcnrrust@lcnr.de2025-08-27T08:03:47+00:00urn:sha1:67965f817d2eb47f5238b43f21b35259806b6280Move `rustc_middle::MaxUniverse` to `rustc_infer`.2025-09-07T20:34:32+00:00Nicholas Nethercoten.nethercote@gmail.com2025-07-31T06:35:38+00:00urn:sha1:1e679154da915f971216f8e925eda2a1b47a38af
Because `rust_infer` is the only crate that uses it.
rustc_infer: change top-level doc comment to inner2025-09-05T12:43:47+00:00Marijn Schoutenmhkbst@gmail.com2025-09-05T12:43:47+00:00urn:sha1:0e2224b1bfa48b5a1451cad55cb40fc193fb5df3use defining uses of all bodies to constrain non-defining uses2025-09-01T20:08:03+00:00lcnrrust@lcnr.de2025-09-01T20:03:21+00:00urn:sha1:b8160e9f38329c5c17f642f3e7e8ac702375dad5
support non-defining uses in closures