about summary refs log tree commit diff
path: root/src/test/ui/traits/negative-impls
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-650/+0
2022-12-27Trim more paths in obligation typesEsteban Küber-4/+4
2022-11-10Don't print full paths in overlap errorsMichael Goulet-2/+2
2022-11-04Fix ICE when negative impl is collected during eager monoGary Guo-0/+12
2022-10-01bless ui testsMaybe Waffle-5/+5
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
This PR will fix some typos detected by [typos]. I only picked the ones I was sure were spelling errors to fix, mostly in the comments. [typos]: https://github.com/crate-ci/typos
2022-08-21Adjust messages, address some nitsMichael Goulet-1/+1
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-3/+3
2022-08-03Warn about dead tuple struct fieldsFabian Wolff-1/+1
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-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-02-14Properly check regions on negative overlap checkSantiago Pastorino-4/+6
2022-02-11Fix typo: explicitely->explicitlyKagami Sascha Rosylight-8/+8
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-3/+3
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-11-13Fix handling of substitutions and binders when deciding whether to suggest ↵Jakob Degen-9/+3
references When suggesting references, substitutions were being forgotten and some types were misused. This led to at least one ICE and other incorrectly emitted diagnostics. This has been fixed; in some cases this leads to diagnostics changing, and tests have been adjusted.
2021-10-25fix(rustc_typeck): report function argument errors on matching typeMichael Howell-2/+2
Fixes #90101
2021-10-20Only assemble_candidates_from_impls for polarity NegativeSantiago Pastorino-12/+3
2021-09-27better suggestionsTakayuki Maeda-6/+8
2021-09-26fix the relevant testsTakayuki Maeda-4/+8
2021-09-16Point at call span that introduced obligation for the argEsteban Kuber-12/+22
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-2/+2
Move the information about pointing at the call argument expression in an unmet obligation span from the `FulfillmentError` to a new `ObligationCauseCode`.
2021-08-16Use note to point at bound introducing requirementEsteban Küber-18/+30
2021-07-19Various diagnostics clean ups/tweaksEsteban Küber-3/+5
* Always point at macros, including derive macros * Point at non-local items that introduce a trait requirement * On private associated item, point at definition
2021-04-08Rollup merge of #83689 - estebank:cool-bears-hot-tip, r=davidtwcoDylan DPC-2/+10
Add more info for common trait resolution and async/await errors * Suggest `Pin::new`/`Box::new`/`Arc::new`/`Box::pin` in more cases * Point at `impl` and type defs introducing requirements on E0277
2021-04-06Point at `impl` and type defs introducing requirements on E0277Esteban Küber-2/+10
2021-04-06Remove trailing `:` from E0119 messageEsteban Küber-1/+1
2021-03-29Suggest box/pin/arc ing receiver on method callsEsteban Küber-8/+0
2020-12-16Take into account negative impls in "trait item not found" suggestionsLeSeulArtichaut-0/+113
2020-10-17Suggest minimal subset features in `incomplete_features` lintYuki Okushi-0/+5
2020-09-03specialization_graph: avoid trimmed paths for OverlapErrorDan Aloni-4/+4
2020-09-02pretty: trim paths of unique symbolsDan Aloni-18/+18
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-16warn against 'specialization' featureRalf Jung-9/+57
2020-04-26Use Cell::take in a couple placesThinkChaos-2/+2
2020-04-24Rollup merge of #71235 - estebank:lt-sugg-2, r=ecstatic-morseDylan DPC-1/+1
Tweak `'static` suggestion code Fix #71196.
2020-04-23fix error code for E0751YI-15/+15
2020-04-22Sort `MultiSpan`s on creationEsteban Küber-1/+1
2020-04-08Small tweaks to required bound spanEsteban Küber-6/+6
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-1/+1
Keep more information about trait binding failures.
2020-03-26add test for negative specializes negativeNiko Matsakis-0/+13
2020-03-26move stderr file tooNiko Matsakis-0/+12
2020-03-26give the negative-impls-builtin test a more sensible nameNiko Matsakis-0/+0
2020-03-26comment the `typeck-negative-impls-builtin` testNiko Matsakis-0/+3
2020-03-26move feature-gate-negative-impls test to traits/negative-implsNiko Matsakis-0/+3
2020-03-26introduce `negative_impls` feature gate and documentNiko Matsakis-12/+12
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-26make a custom error for overlap with negative implsNiko Matsakis-47/+43
2020-03-26permit negative impls for non-auto traitsNiko Matsakis-0/+428