rust/compiler/rustc_middle/src/mir/interpret/error.rs, branch 1.89.0

interpret: better error message for out-of-bounds pointer arithmetic and accesses

2025-04-30T16:45:41+00:00

Teach structured errors to display short `Ty`

2025-02-25T16:56:03+00:00

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 ```

Make fewer crates depend on rustc_ast_ir

2025-02-19T07:06:54+00:00

compiler: die immediately instead of handling unknown target codegen

2025-02-10T19:04:31+00:00

We cannot produce anything useful if asked to compile unknown targets. We should handle the error immediately at the point of discovery instead of propagating it upward, and preferably in the simplest way: Die. This allows cleaning up our "error-handling" spread across 5 crates.

Clean up trivial traversal/lift impl generator macro calls.

2025-02-06T02:31:43+00:00

We have four macros for generating trivial traversal (fold/visit) and lift impls. - `rustc_ir::TrivialTypeTraversalImpls` - `rustc_middle::TrivialTypeTraversalImpls` - `rustc_middle::TrivialLiftImpls` - `rustc_middle::TrivialTypeTraversalAndLiftImpls` The first two are very similar. The last one just combines the second and third one. The macros themselves are ok, but their use is a mess. This commit does the following. - Removes types that no longer need a lift and/or traversal impl from the macro calls. - Consolidates the macro calls into the smallest number of calls possible, with each one mentioning as many types as possible. - Orders the types within those macro calls alphabetically, and makes the module qualification more consistent. - Eliminates `rustc_middle::mir::type_foldable`, because the macro calls were merged and the manual `TypeFoldable` impls are better placed in `structural_impls.rs`, alongside all the other ones. This makes the code more concise. Moving forward, it also makes it more obvious where new types should be added.

Convert some Into impls into From impls

2024-12-31T01:56:33+00:00

Variants::Single: do not use invalid VariantIdx for uninhabited enums

2024-12-18T10:00:21+00:00

fix ICE on type error in promoted

2024-12-09T14:17:26+00:00

fix ICE when promoted has layout size overflow

2024-12-01T18:52:27+00:00

interpret: do not ICE when a promoted fails with OOM

2024-11-18T19:48:03+00:00