about summary refs log tree commit diff
path: root/src/test/ui/kindck
AgeCommit message (Collapse)AuthorLines
2020-04-08Small tweaks to required bound spanEsteban Küber-25/+25
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-40/+32
Some of the bound restriction structured suggestions were incorrect while others had subpar output.
2020-02-09Improve reporting errors and suggestions for trait boundsPatryk Wychowaniec-24/+40
2020-02-02Wording changes to object unsafe trait errorsEsteban Küber-3/+9
Stemming from the thread at https://twitter.com/indygreg/status/1223279056398929920
2020-02-02Slight rewording of diagnostic messageEsteban Küber-3/+3
2020-02-02Tweak `Self: Sized` restriction diagnostic outputEsteban Küber-4/+9
2020-01-08Point at the def span of trait refs E0277Esteban Küber-1/+3
2019-12-30Add error code explanation for E0477Donough Liu-2/+4
2019-11-16Account for `rustc_on_unimplemented`Esteban Küber-1/+1
2019-11-16Suggest borrowing when it would satisfy an unmet trait boundEsteban Küber-3/+3
When there are multiple implementors for the same trait that is present in an unmet binding, modify the E0277 error to refer to the parent obligation and verify whether borrowing the argument being passed in would satisfy the unmet bound. If it would, suggest it.
2019-10-23Auto merge of #57545 - bovinebuddha:object_safe_for_dispatch, r=nikomatsakisbors-6/+37
Object safe for dispatch cc #43561
2019-10-22RFC 2027: "first draft" of implementationMathias Blikstad-6/+37
These are a squashed series of commits.
2019-10-15Update NLL testsEsteban Küber-4/+12
2019-10-15Use structured suggestion for restricting boundsEsteban Küber-4/+12
When a trait bound is not met and restricting a type parameter would make the restriction hold, use a structured suggestion pointing at an appropriate place (type param in param list or `where` clause). Account for opaque parameters where instead of suggesting extending the `where` clause, we suggest appending the new restriction: `fn foo(impl Trait + UnmetTrait)`.
2019-09-22fix nll testsEsteban Küber-2/+2
2019-09-22hack to avoid incorrect suggestionEsteban Küber-8/+2
2019-09-22Point at type param when it's cause of unfulfilled obligationEsteban Küber-20/+26
2019-09-22On obligation errors point at the unfulfilled binding when possibleEsteban Küber-22/+22
2019-09-19When possible point at argument causing item obligation failureEsteban Küber-4/+4
2019-08-31Fix nll testsEsteban Küber-10/+6
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-119/+66
2019-05-29Update ui test suite to use dynmemoryruins-77/+77
2019-05-12Change compare mode to use -Zborrowck=mirMatthew Jasper-0/+95
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-5/+3
2019-03-11Update testsVadim Petrochenkov-12/+12
2018-12-28remove remaining copyright headersMatthias Krüger-10/+0
2018-12-25Remove licensesMark Rousskov-157/+56
2018-10-17Update output for borrowck=migrate compare mode.David Wood-95/+0
This commit updates the test output for the updated NLL compare mode that uses `-Z borrowck=migrate` rather than `-Z borrowck=mir`. The previous commit changes `compiletest` and this commit only updates `.nll.stderr` files.
2018-09-01Update testsBasile Desloges-12/+0
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+933