about summary refs log tree commit diff
path: root/src/test/ui/issues/issue-20413.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-73/+0
2022-11-28Further tweak the type shortening logicEsteban Küber-5/+5
2022-11-28Detect long types in E0308 and write them to diskEsteban Küber-5/+5
On type error with long types, print an abridged type and write the full type to disk. Print the widest possible short type while still fitting in the terminal.
2022-11-18On E0275 do not print out the full type in the msgEsteban Küber-3/+3
When printing requirement overflow errors, do not print out the full type name when it is longer than 50 characters long.
2022-11-18On overflow errors, do not print out long typesEsteban Küber-14/+19
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-8/+8
2022-06-21Only keep a single well-formed query.Camille GILLOT-62/+7
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-30/+0
Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418.
2021-09-28Improve help for recursion limit errorsRoss MacArthur-6/+6
2021-08-16Use note to point at bound introducing requirementEsteban Küber-18/+30
2021-07-25Bless tests.Camille GILLOT-41/+41
2021-05-01Add help message for unused type paramkadmin-0/+1
2021-04-06Point at `impl` and type defs introducing requirements on E0277Esteban Küber-10/+50
2020-11-18Account for indirect cyclic requirementsEsteban Küber-1/+61
2020-11-18Remove redundant notes in E0275Esteban Küber-252/+2
Fix #58964.
2020-09-02pretty: trim paths of unique symbolsDan Aloni-1/+1
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-2/+4
This commit introduces a `Limit` type which is used to ensure that all comparisons against limits within the compiler are consistent (which can result in ICEs if they aren't). Signed-off-by: David Wood <david@davidtw.co>
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-2/+2
Keep more information about trait binding failures.
2020-02-05`#![recursion_limit = "X"]`: note current crate name.Mazdak Farrokhzad-2/+2
2020-02-02Use more accurate failed predicate spansEsteban Küber-14/+8
2020-02-02Point at arguments or output when fn obligations come from them, or ident ↵Esteban Küber-8/+5
when they don't
2019-10-03typo: fix typo in E0392Ben Boeckel-1/+1
See #64931.
2019-10-02review commentEsteban Küber-1/+1
2019-09-30Reword E0392 slightlyEsteban Küber-1/+1
Make it clearer that a type or lifetime argument not being used can be fixed by referencing it in a struct's fields, not just using `PhathomData`.
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-10/+6
2019-07-07Raise the default recursion limit to 128Simonas Kazlauskas-4/+132
2019-04-19Rollup merge of #60052 - varkor:unused-parameter-diagnostic, r=estebankMazdak Farrokhzad-1/+1
Correct unused parameter diagnostic The message was incorrect for unused lifetime parameters. There's no need to be specific.
2019-04-18Update testsvarkor-1/+1
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-1/+1
2019-03-11Update testsVadim Petrochenkov-3/+3
2019-03-06Update testsJohn Kåre Alsaker-1/+81
2019-01-16Don't explicitly increment the depth for new trait predicatesAaron Hill-1/+32
2019-01-03Improve error generation, fixup recursion limitsAaron Hill-33/+1
2018-12-25Remove licensesMark Rousskov-3/+3
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+94