about summary refs log tree commit diff
path: root/tests/ui/codegen/overflow-during-mono.rs
AgeCommit message (Collapse)AuthorLines
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-1/+2
`TyCtxt::short_string` ensures that user visible type paths aren't overwhelming on the terminal output, and properly saves the long name to disk as a side-channel. We already use these throughout the compiler and have been using them as needed when users find cases where the output is verbose. This is a proactive search of some cases to use `short_string`. We add support for shortening the path of "trait path only". Every manual use of `short_string` is a bright marker that that error should be using structured diagnostics instead (as they have proper handling of long types without the maintainer having to think abou tthem). When we don't actually print out a shortened type we don't need the "use `--verbose`" note. On E0599 show type identity to avoid expanding the receiver's generic parameters. Unify wording on `long_ty_path` everywhere.
2025-04-09re-use sized fast pathDavid Wood-1/+1
There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this.
2024-07-12Gate the type length limit check behind a nightly flagMichael Goulet-1/+1
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-0/+1
2024-07-02Re-implement a type-size based limitMichael Goulet-1/+0
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-1/+1
2024-02-14Do not report overflow errors on ConstArgHasType goalsMichael Goulet-0/+28