| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -5/+7 | |
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject ↵ | Ralf Jung | -44/+76 | |
| such constants as patterns | ||||
| 2025-05-27 | Drive-by: Delete dead TyCtxtEnsureOk::const_eval_poly | León Orell Valerian Liehr | -22/+0 | |
| 2025-05-05 | Rename Instance::new to Instance::new_raw and add a note that it is raw | Michael Goulet | -3/+3 | |
| 2025-04-29 | Don't FCW assoc consts in patterns | Boxy | -9/+10 | |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+1 | |
| 2025-02-01 | Rename `tcx.ensure()` to `tcx.ensure_ok()` | Zalathar | -2/+2 | |
| 2024-12-30 | Fix typos | NoName | -6/+6 | |
| 2024-12-09 | fix ICE on type error in promoted | Ralf Jung | -2/+7 | |
| 2024-11-23 | no more Reveal :( | lcnr | -2/+2 | |
| 2024-11-19 | `InterpCx` store `TypingEnv` instead of a `ParamEnv` | lcnr | -15/+17 | |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -10/+7 | |
| the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`. | ||||
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -1/+1 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -8/+7 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-07-02 | Instance::resolve -> Instance::try_resolve, and other nits | Michael Goulet | -2/+2 | |
| 2024-06-05 | Don't walk the bodies of free constants for reachability. | Oli Scherer | -3/+23 | |
| 2024-05-27 | Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote | bors | -2/+1 | |
| [perf] Delay the construction of early lint diag structs Attacks some of the perf regressions from https://github.com/rust-lang/rust/pull/124417#issuecomment-2123700666. See individual commits for details. The first three commits are not strictly necessary. However, the 2nd one (06bc4fc67145e3a7be9b5a2cf2b5968cef36e587, *Remove `LintDiagnostic::msg`*) makes the main change way nicer to implement. It's also pretty sweet on its own if I may say so myself. | ||||
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_middle`. | Nicholas Nethercote | -0/+1 | |
| 2024-05-23 | Remove `LintDiagnostic::msg` | León Orell Valerian Liehr | -2/+1 | |
| * instead simply set the primary message inside the lint decorator functions * it used to be this way before [#]101986 which introduced `msg` to prevent good path delayed bugs (which no longer exist) from firing under certain circumstances when lints were suppressed / silenced * this is no longer necessary for various reasons I presume * it shaves off complexity and makes further changes easier to implement | ||||
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ↵ | Oli Scherer | -8/+8 | |
| cases that used `None` | ||||
| 2024-02-15 | Return ConstAllocation from eval_static_initializer query directly | Oli Scherer | -32/+1 | |
| 2024-02-15 | Add new query just for static initializers | Oli Scherer | -21/+3 | |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -9/+9 | |
| 2024-01-23 | Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`. | Nicholas Nethercote | -1/+1 | |
| 2024-01-19 | Always use RevealAll for const eval queries | Oli Scherer | -2/+2 | |
| 2023-12-15 | Don't pass lint back out of lint decorator | Michael Goulet | -1/+1 | |
| 2023-11-26 | rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` ↵ | Vadim Petrochenkov | -1/+1 | |
| cleanup | ||||
| 2023-09-14 | don't point at const usage site for resolution-time errors | Ralf Jung | -6/+12 | |
| also share the code that emits the actual error | ||||
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -4/+4 | |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -7/+2 | |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -10/+10 | |
| 2023-06-26 | Make simd_shuffle_indices use valtrees | Oli Scherer | -17/+9 | |
| 2023-06-14 | add InlineConst check | James Dietz | -1/+4 | |
| 2023-05-17 | Finish move of query.rs | John Kåre Alsaker | -1/+2 | |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -2/+2 | |
| When constant evaluation fails because its MIR is tainted by errors, suppress note indicating that erroneous constant was used, since those errors have to be fixed regardless of the constant being used or not. | ||||
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -8/+8 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 | |
| 2022-11-16 | cleanup and dedupe CTFE and Miri error reporting | Ralf Jung | -0/+4 | |
| 2022-10-22 | Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obk | bors | -1/+25 | |
| stop using `ty::UnevaluatedConst` directly best reviewed commit by commit. simplifies #99798 because we now don't have to expand `ty::UnevaluatedConst` to `ty::Const`. I also remember some other places where using `ty::UnevaluatedConst` directly was annoying and caused issues, though I don't quite remember what they were rn '^^ r? `@oli-obk` cc `@JulianKnodt` | ||||
| 2022-10-21 | fix some typos | Rageking8 | -1/+1 | |
| 2022-10-18 | `const_evaluatable_unchecked` to const eval | lcnr | -1/+25 | |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -2/+2 | |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -3/+3 | |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -3/+7 | |
| 2022-09-19 | `DestructuredConst` split mir and ty | lcnr | -1/+1 | |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -2/+2 | |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 | |
| 2022-06-28 | Improve pretty printing of valtrees for references | Dominik Stolz | -7/+1 | |
| 2022-06-19 | Use `ensure` for `UnusedBrokenConst`. | Camille GILLOT | -1/+34 | |
