about summary refs log tree commit diff
path: root/src/test/ui/specialization/defaultimpl
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-638/+0
2022-12-13Inform the user which trait is meant in the diagnostic itself instead of ↵Oli Scherer-1/+1
relying on the span making it obvious
2022-10-01bless ui testsMaybe Waffle-10/+10
2022-07-07Track implicit `Sized` obligations in type paramsEsteban Küber-2/+2
Suggest adding a `?Sized` bound if appropriate on E0599 by inspecting the HIR Generics. (Fix #98539)
2022-07-01Shorten def_span for more items.Camille GILLOT-40/+27
2022-06-22point to type param definition when not finding variant, method and assoc typeTakayuki Maeda-2/+2
use `def_ident_span` , `body_owner_def_id` instead of `in_progress_typeck_results`, `guess_head_span` use `body_id.owner` directly add description to label
2022-03-24Properly track `ImplObligation`sEsteban Kuber-2/+1
Instead of probing for all possible impls that could have caused an `ImplObligation`, keep track of its `DefId` and obligation spans for accurate error reporting. Follow up to #89580. Addresses #89418. Remove some unnecessary clones. Tweak output for auto trait impl obligations.
2021-11-20Point at `impl` blocks when they introduce unmet obligationsEsteban Kuber-2/+6
Group obligations by `impl` block that introduced them.
2021-10-05Consider unfulfilled obligations in binop errorsEsteban Kuber-0/+8
When encountering a binop where the types would have been accepted, if all the predicates had been fulfilled, include information about the predicates and suggest appropriate `#[derive]`s if possible. Point at trait(s) that needs to be `impl`emented.
2021-08-16Use note to point at bound introducing requirementEsteban Küber-3/+5
2021-08-11Modify structured suggestion outputEsteban Küber-1/+1
* On suggestions that include deletions, use a diff inspired output format * When suggesting addition, use `+` as underline * Color highlight modified span
2021-03-31give full path of constraint in suggest_constraining_type_paramhi-rustin-2/+2
revert file bless with nll mode
2021-01-26Avoid describing a method as 'not found' when bounds are unsatisfiedAaron Hill-4/+4
Fixes #76267 When there is a single applicable method candidate, but its trait bounds are not satisfied, we avoid saying that the method is "not found". Insted, we update the error message to directly mention which bounds are not satisfied, rather than mentioning them in a note.
2020-12-29Remove `compile-fail` test suiteVadim Petrochenkov-1/+1
2020-10-17Suggest minimal subset features in `incomplete_features` lintYuki Okushi-0/+10
2020-09-02pretty: trim paths of unique symbolsDan Aloni-5/+5
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-06-16bless allRalf Jung-7/+7
2020-06-16warn against 'specialization' featureRalf Jung-15/+115
2020-04-22Sort `MultiSpan`s on creationEsteban Küber-2/+2
2020-04-18Do not emit note for projected derived obligationsEsteban Küber-1/+0
2020-04-18Maintain chain of derived obligationsEsteban Küber-0/+4
When evaluating the derived obligations from super traits, maintain a reference to the original obligation in order to give more actionable context in the output.
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-4/+3
Some of the bound restriction structured suggestions were incorrect while others had subpar output.
2020-03-26introduce `negative_impls` feature gate and documentNiko Matsakis-1/+1
They used to be covered by `optin_builtin_traits` but negative impls are now applicable to all traits, not just auto traits. This also adds docs in the unstable book for the current state of auto traits.
2020-03-26permit negative impls for non-auto traitsNiko Matsakis-8/+13
2020-03-22Tweak output for invalid negative impl errorsEsteban Küber-8/+14
2020-03-05review commentsEsteban Küber-2/+2
2020-03-04Tweak output for invalid negative impl AST errorsEsteban Küber-1/+1
2020-02-28keep predicate order and tweak outputEsteban Küber-3/+5
2020-02-28Tweak wordingEsteban Küber-1/+1
2020-02-28Mention the full path of the implementing traitEsteban Küber-1/+1
2020-02-28Track all predicates in errors, not just trait obligationsEsteban Küber-1/+3
Surface associated type projection bounds that could not be fulfilled in E0599 errors. Always present the list of unfulfilled trait bounds, regardless of whether we're pointing at the ADT or trait that didn't satisfy it.
2020-02-28Deduplicate information in E0599Esteban Küber-3/+1
2020-02-28On single local candidate, use span labelEsteban Küber-2/+3
2020-02-28Add more context to E0599 errorsEsteban Küber-2/+5
Point at the intermediary unfullfilled trait bounds.
2020-02-24add `Span` to `ast::Defaultness::Default`.Mazdak Farrokhzad-4/+6
2020-02-11Auto merge of #68929 - matprec:consistent-issue-references, r=Dylan-DPCbors-1/+1
Make issue references consistent Fixes https://github.com/rust-lang/rust/issues/62976 cc https://github.com/rust-lang/rust/pull/63008 r? @varkor because you reviewed the original pr
2020-02-09--bless --compare-mode=nllMatthias Prechtl-1/+1
2020-02-09Improve reporting errors and suggestions for trait boundsPatryk Wychowaniec-3/+7
2020-01-08Unify output of "variant not found" errorsEsteban Küber-2/+2
2019-10-15Handle more casesEsteban Küber-3/+3
2019-09-08Give method not found a primary span labelEsteban Küber-1/+1
2019-08-16Update stderr files with --blesssd234678-5/+5
2019-08-16Remove meaningless comments in src/testsd234678-8/+0
2019-07-27tests: Move run-pass tests with naming conflicts to uiVadim Petrochenkov-0/+34
2019-07-27tests: Move run-pass tests without naming conflicts to uiVadim Petrochenkov-0/+155
2019-07-09normalize use of backticks in compiler messages for libsyntax/feature_gateSamy Kacimi-1/+1
https://github.com/rust-lang/rust/issues/60532
2019-04-11Reword tracking issue noteEsteban Küber-1/+1
2019-04-10Tweak unstable diagnostic outputEsteban Küber-1/+2
2019-03-11Update testsVadim Petrochenkov-10/+10
2018-12-25Remove licensesMark Rousskov-73/+13
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 19:48:56 +0000