about summary refs log tree commit diff
path: root/src/test/ui/issues/issue-21974.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-17/+0
2022-12-14Highlight conflicting param-env candidates, againMichael Goulet-1/+7
2022-07-15Revert "Highlight conflicting param-env candidates"Michael Goulet-7/+1
This reverts commit 08135254dcf22be0d5661ea8f75e703b29a83514.
2022-07-08Highlight conflicting param-env candidatesMichael Goulet-1/+7
2022-07-01Don't point at Self type if we can't find an infer variable in ambiguous ↵Michael Goulet-2/+2
trait predicate
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-5/+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-08-16Use note to point at bound introducing requirementEsteban Küber-3/+5
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-1/+1
Keep more information about trait binding failures.
2020-04-05"cannot resolve" → "cannot satisfy"Esteban Küber-1/+1
2020-02-02Use more accurate failed predicate spansEsteban Küber-3/+3
2020-02-02Point at arguments or output when fn obligations come from them, or ident ↵Esteban Küber-11/+5
when they don't
2019-12-11Add more context for type parametersEsteban Küber-1/+1
2019-12-10Deduplicate logicEsteban Küber-2/+4
2019-09-24Remove blanket silencing of "type annotation needed" errorsEsteban Küber-1/+1
Remove blanket check for existence of other errors before emitting "type annotation needed" errors, and add some eager checks to avoid adding obligations when they refer to types that reference `[type error]` in order to reduce unneded errors.
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-6/+3
2019-03-11Update testsVadim Petrochenkov-1/+1
2018-12-25Remove licensesMark Rousskov-2/+2
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+21