rust/compiler/rustc_middle/src/ty/error.rs, branch 1.87.0

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

Rework "long type names" printing logic

2025-01-31T20:39:01+00:00

Make it so more type-system types can be printed in a shortened version (like `Predicate`s). Centralize printing the information about the "full type name path". Make the "long type path" for the file where long types are written part of `Diag`, so that it becomes easier to keep track of it, and ensure it will always will be printed out last in the diagnostic by making its addition to the output implicit. Tweak the shortening of types in "expected/found" labels. Remove dead file `note.rs`.

mir_transform: implement forced inlining

2025-01-10T18:37:54+00:00

Adds `#[rustc_force_inline]` which is similar to always inlining but reports an error if the inlining was not possible, and which always attempts to inline annotated items, regardless of optimisation levels. It can only be applied to free functions to guarantee that the MIR inliner will be able to resolve calls.

Begin to implement type system layer of unsafe binders

2024-12-22T21:57:57+00:00

Simplify array length mismatch error reporting

2024-11-24T03:32:11+00:00

Fix type shortening writing to file

2024-11-02T03:08:04+00:00

Make sure that we append to the file for long ty paths. Do not write the same type more than once. Shorten the calculated width a bit.

remove `PredicatePolarity` and `BoundConstness` relate impls

2024-10-22T22:52:37+00:00

Also removes `TypeError::ConstnessMismatch`. It is unused.

Reformat using the new identifier sorting from rustfmt

2024-09-22T23:11:29+00:00

Shrink `TyKind::FnPtr`.

2024-08-09T04:33:25+00:00

By splitting the `FnSig` within `TyKind::FnPtr` into `FnSigTys` and `FnHeader`, which can be packed more efficiently. This reduces the size of the hot `TyKind` type from 32 bytes to 24 bytes on 64-bit platforms. This reduces peak memory usage by a few percent on some benchmarks. It also reduces cache misses and page faults similarly, though this doesn't translate to clear cycles or wall-time improvements on CI.

Reformat `use` declarations.

2024-07-28T22:26:52+00:00

The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.