rust/compiler/rustc_middle/src/query/erase.rs, branch tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try2025-06-29T15:22:45+00:00inherit `#[align]` from trait method prototypes2025-06-29T15:22:45+00:00Folkert de Vriesfolkert@folkertdev.nl2025-06-28T19:31:28+00:00urn:sha1:bcf51051ed5ee27e5ae0f68de4d8899639355288const-eval: allow constants to refer to mutable/external memory, but reject such constants as patterns2025-06-26T16:09:47+00:00Ralf Jungpost@ralfj.de2025-05-12T11:34:46+00:00urn:sha1:492526548d8741ed477dbf9f0079ce59177e62b5Dont unwrap and re-wrap typing envs2025-06-10T17:01:55+00:00Michael Gouletmichael@errs.io2025-06-10T17:01:55+00:00urn:sha1:6227acc749556a5b5e111b06ab3499da29349f49Auto merge of #140553 - BoxyUwU:defer_type_system_ctfe, r=compiler-errors2025-05-23T05:30:45+00:00borsbors@rust-lang.org2025-05-23T05:30:45+00:00urn:sha1:52bf0cf795dfecc8b929ebb1c1e2545c3f41d4c9
Defer evaluating type system constants when they use infers or params
Split out of #137972, the parts necessary for associated const equality and min generic const args to make progress and have correct semantics around when CTFE is invoked. According to a [previous perf run](https://perf.rust-lang.org/compare.html?start=93257e2d20809d82d1bc0fcc1942480d1a66d7cd&end=01b4cbf0f47c3f782330db88fa5ba199bba1f8a2&stat=instructions:u) of adding the new `const_arg_kind` query we should expect minor regressions here.
I think this is acceptable as we should be able to remove this query relatively soon once mgca is more complete as we'll then be able to implement GCE in terms of mgca and rip out `GCEConst` at which point it's trivial to determine what kind of anon const we're dealing with (either it has generics and is a repeat expr hack, or it doesnt and is a normal anon const).
This should only affect unstable code as we handle repeat exprs specially and those are the only kinds of type system consts that are allowed to make use of generic parameters.
Fixes #133066
Fixes #133199
Fixes #136894
Fixes #137813
r? compiler-errors
Introduce `tcx.anon_const_kind` query2025-05-21T19:20:19+00:00Boxyrust@boxyuwu.dev2025-03-12T11:23:20+00:00urn:sha1:996a185ba74755cb39a4fe24151ea65e671d4c0dQuerify coroutine_hidden_types2025-05-20T11:50:25+00:00Michael Gouletmichael@errs.io2025-05-20T10:28:31+00:00urn:sha1:6555ef7f09a5b23a8eea05cba499a5b9fd16909aupdate cfgs2025-04-09T11:29:59+00:00Boxyrust@boxyuwu.dev2025-04-02T20:28:54+00:00urn:sha1:c93005ee651422f1920ef2a68e5ab9ff772b4b06Add `TyCtx::env_var_os`2025-03-26T14:46:05+00:00Mads Marquartmads@marquart.dk2025-03-26T14:46:05+00:00urn:sha1:17db054141f909277a0c57b4698f420636a2c511
Along with `TyCtx::env_var` helper. These can be used to track
environment variable accesses in the query system.
Since `TyCtx::env_var_os` uses `OsStr`, this commit also adds the
necessary trait implementations for that to work.
Implement `#[define_opaque]` attribute for functions.2025-03-11T12:05:02+00:00Oli Scherergit-spam-no-reply9815368754983@oli-obk.de2024-07-26T10:04:02+00:00urn:sha1:cb4751d4b87e1c8ebdeb381abe3785486a59968eRollup merge of #138160 - jdonszelmann:move-find-attr2, r=oli-obk2025-03-09T09:34:52+00:00Matthias Krüger476013+matthiaskrgr@users.noreply.github.com2025-03-09T09:34:52+00:00urn:sha1:d88752a4b50b892fd10577980391efd3395ac715
depend more on attr_data_structures and move find_attr! there
r? ``@oli-obk``
This should be an easy one. It just moves some imports around. This is necessary for other changes that I'm working on not to have import cycles. However, it's an easy one to just merge on its own.