| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-08-14 | Apply suggestions from code review | Ralf Jung | -1/+1 | |
| Co-authored-by: Boxy <rust@boxyuwu.dev> | ||||
| 2025-08-14 | avoid unnecessary type sanity checks | Ralf Jung | -8/+4 | |
| 2025-08-14 | use ty::Value instead of manual pairs of types and valtrees | Ralf Jung | -4/+10 | |
| 2025-08-14 | pattern testing: store constants as valtrees | Ralf Jung | -0/+13 | |
| 2025-07-07 | compiler: Parse `p-` specs in datalayout string, allow definition of custom ↵ | Edoardo Marangoni | -3/+3 | |
| default data address space | ||||
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject ↵ | Ralf Jung | -1/+7 | |
| such constants as patterns | ||||
| 2025-05-28 | get rid of rustc_codegen_ssa::common::AtomicOrdering | Ralf Jung | -1/+1 | |
| 2025-05-28 | atomic_load intrinsic: use const generic parameter for ordering | Ralf Jung | -1/+33 | |
| 2025-05-24 | ScalarInt: support conversion with signed int types and cmp::Ordering | Ralf Jung | -2/+45 | |
| 2025-04-01 | Improve docs of ValTreeKind | bjorn3 | -1/+1 | |
| 2025-03-07 | compiler: Use size_of from the prelude instead of imported | Thalia Archibald | -2/+2 | |
| Use `std::mem::{size_of, size_of_val, align_of, align_of_val}` from the prelude instead of importing or qualifying them. These functions were added to all preludes in Rust 1.80. | ||||
| 2025-02-25 | Teach structured errors to display short `Ty` | Esteban Küber | -1/+1 | |
| Make it so that every structured error annotated with `#[derive(Diagnostic)]` that has a field of type `Ty<'_>`, the printing of that value into a `String` will look at the thread-local storage `TyCtxt` in order to shorten to a length appropriate with the terminal width. When this happen, the resulting error will have a note with the file where the full type name was written to. ``` error[E0618]: expected function, found `((..., ..., ..., ...), ..., ..., ...)`` --> long.rs:7:5 | 6 | fn foo(x: D) { //~ `x` has type `(... | - `x` has type `((..., ..., ..., ...), ..., ..., ...)` 7 | x(); //~ ERROR expected function, found `(... | ^-- | | | call expression requires function | = note: the full name for the type has been written to 'long.long-type-14182675702747116984.txt' = note: consider using `--verbose` to print the full type name to the console ``` | ||||
| 2025-02-13 | intern valtrees | Lukas Markeffsky | -27/+71 | |
| 2025-02-03 | Move `try_to_raw_bytes` from `ty::Valtree` to `ty::Value` | FedericoBruzzone | -24/+23 | |
| Signed-off-by: FedericoBruzzone <federico.bruzzone.i@gmail.com> | ||||
| 2025-01-30 | check the types in `ty::Value` to value conversion | Lukas Markeffsky | -1/+11 | |
| and remove `ty::Const::try_to_scalar` because it becomes redundant | ||||
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -7/+44 | |
| Co-authored-by: FedericoBruzzone <federico.bruzzone.i@gmail.com> | ||||
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -35/+1 | |
| mew | ||||
| 2024-11-03 | compiler: Directly use rustc_abi in metadata and middle | Jubilee Young | -1/+1 | |
| Stop reexporting ReprOptions from middle::ty | ||||
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -9/+6 | |
| 2024-08-11 | Use assert_matches around the compiler | Michael Goulet | -4/+6 | |
| 2024-08-01 | interpret: simplify pointer arithmetic logic | Ralf Jung | -2/+2 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -5/+9 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-07-06 | Uplift push_outlives_components | Michael Goulet | -0/+7 | |
| 2024-06-11 | interpret: ensure we check bool/char for validity when they are used in a cast | Ralf Jung | -10/+5 | |
| 2024-06-10 | ScalarInt: size mismatches are a bug, do not delay the panic | Ralf Jung | -125/+106 | |
| 2024-06-05 | ty::Expr reviews | Boxy | -3/+5 | |
| 2024-06-04 | Downsize `ty::Expr` | Boxy | -7/+118 | |
| 2024-05-13 | Uplift AliasTy | Michael Goulet | -26/+4 | |
| 2024-04-29 | Remove `extern crate rustc_data_structures` from numerous crates. | Nicholas Nethercote | -1/+1 | |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -1/+1 | |
| 2024-04-19 | Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obk | bors | -37/+63 | |
| interpret: use ScalarInt for bin-ops; avoid PartialOrd for ScalarInt Best reviewed commit-by-commit r? `@oli-obk` | ||||
| 2024-04-19 | avoid PartialOrd on ScalarInt | Ralf Jung | -2/+2 | |
| we don't know their sign so we cannot, in general, order them properly | ||||
| 2024-04-19 | ScalarInt: add methods to assert being a (u)int of given size | Ralf Jung | -28/+39 | |
| 2024-04-18 | interpret/binary_int_op: avoid dropping to raw ints until we determined the sign | Ralf Jung | -8/+23 | |
| 2024-04-18 | Simplify `static_assert_size`s. | Nicholas Nethercote | -4/+1 | |
| We want to run them on all 64-bit platforms. | ||||
| 2024-04-03 | Check `x86_64` size assertions on `aarch64`, too | Zalathar | -2/+2 | |
| This makes it easier for contributors on aarch64 workstations (e.g. Macs) to notice when these assertions have been violated. | ||||
| 2024-03-27 | Remove `Ord` from `Ty`, `Const`, and `Region` | Oli Scherer | -2/+2 | |
| 2024-03-14 | Add compiler support for parsing `f16` and `f128` | Trevor Gross | -1/+43 | |
| 2024-03-11 | Rename `IntoDiagnosticArg` as `IntoDiagArg`. | Nicholas Nethercote | -6/+6 | |
| Also rename `into_diagnostic_arg` as `into_diag_arg`, and `NotIntoDiagnosticArg` as `NotInotDiagArg`. | ||||
| 2024-02-28 | Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`. | Nicholas Nethercote | -4/+4 | |
| 2024-02-15 | Replace `NonZero::<_>::new` with `NonZero::new`. | Markus Reiter | -13/+10 | |
| 2024-02-15 | Use generic `NonZero` internally. | Markus Reiter | -12/+15 | |
| 2024-02-05 | Rollup merge of #116284 - RalfJung:no-nan-match, r=cjgillot | Matthias Krüger | -27/+44 | |
| make matching on NaN a hard error, and remove the rest of illegal_floating_point_literal_pattern These arms would never be hit anyway, so the pattern makes little sense. We have had a future-compat lint against float matches in general for a *long* time, so I hope we can get away with immediately making this a hard error. This is part of implementing https://github.com/rust-lang/rfcs/pull/3535. Closes https://github.com/rust-lang/rust/issues/41620 by removing the lint. https://github.com/rust-lang/reference/pull/1456 updates the reference to match. | ||||
| 2024-01-30 | Remove the lifetime from `DiagnosticArgValue`. | Nicholas Nethercote | -2/+2 | |
| Because it's almost always static. This makes `impl IntoDiagnosticArg for DiagnosticArgValue` trivial, which is nice. There are a few diagnostics constructed in `compiler/rustc_mir_build/src/check_unsafety.rs` and `compiler/rustc_mir_transform/src/errors.rs` that now need symbols converted to `String` with `to_string` instead of `&str` with `as_str`, but that' no big deal, and worth it for the simplifications elsewhere. | ||||
| 2024-01-26 | make matching on NaN a hard error | Ralf Jung | -27/+44 | |
| 2023-12-15 | Annotate some more bugs | Michael Goulet | -2/+2 | |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer ↵ | Ralf Jung | -2/+2 | |
| is immutable | ||||
| 2023-11-20 | Uplift InferConst to rustc_type_ir | Michael Goulet | -26/+0 | |
| 2023-10-24 | Get rid of 'tcx on ConstVid, EffectVid | Michael Goulet | -4/+4 | |
| 2023-09-18 | Remove unused `Lift` derives. | Nicholas Nethercote | -1/+1 | |
| I found these by commenting out all `Lift` derives and then adding back the ones that were necessary to successfully compile. | ||||
