about summary refs log tree commit diff
path: root/src/test/ui/kindck
AgeCommit message (Collapse)AuthorLines
2021-09-26Remove box syntax from most places in src/test outside of the issues direst31-9/+9
2021-09-16Point at call span that introduced obligation for the argEsteban Kuber-3/+9
2021-08-16Use note to point at bound introducing requirementEsteban Küber-75/+134
2021-08-11Modify structured suggestion outputEsteban Küber-8/+8
* On suggestions that include deletions, use a diff inspired output format * When suggesting addition, use `+` as underline * Color highlight modified span
2021-07-31Point at unmet explicit lifetime obligation boundEsteban Küber-1/+5
2021-04-07rebase and update testsEsteban Küber-6/+30
2021-04-06Point at `impl` and type defs introducing requirements on E0277Esteban Küber-9/+45
2021-03-31give full path of constraint in suggest_constraining_type_paramhi-rustin-16/+16
revert file bless with nll mode
2020-10-20review commentsEsteban Küber-3/+3
2020-10-20Tweak "object unsafe" errorsEsteban Küber-14/+21
Fix #77598.
2020-09-28pretty.rs: Update Closure and Generator printAman Arora-3/+3
Co-authored-by: Dhruv Jauhar <dhruvjhr@gmail.com> Co-authored-by: Logan Mosier <logmosier@gmail.com>
2020-09-02pretty: trim paths of unique symbolsDan Aloni-122/+122
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-07-14Remove redundant explanatory `note` for type parametersEsteban Küber-4/+0
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-10-01 06:17:52 +0000