| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -650/+0 | |
| 2022-12-27 | Trim more paths in obligation types | Esteban Küber | -4/+4 | |
| 2022-11-10 | Don't print full paths in overlap errors | Michael Goulet | -2/+2 | |
| 2022-11-04 | Fix ICE when negative impl is collected during eager mono | Gary Guo | -0/+12 | |
| 2022-10-01 | bless ui tests | Maybe Waffle | -5/+5 | |
| 2022-08-31 | Fix a bunch of typo | Dezhi 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-21 | Adjust messages, address some nits | Michael Goulet | -1/+1 | |
| 2022-08-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -3/+3 | |
| 2022-08-03 | Warn about dead tuple struct fields | Fabian Wolff | -1/+1 | |
| 2022-07-07 | Track implicit `Sized` obligations in type params | Esteban Küber | -2/+2 | |
| Suggest adding a `?Sized` bound if appropriate on E0599 by inspecting the HIR Generics. (Fix #98539) | ||||
| 2022-06-22 | point to type param definition when not finding variant, method and assoc type | Takayuki 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-14 | Properly check regions on negative overlap check | Santiago Pastorino | -4/+6 | |
| 2022-02-11 | Fix typo: explicitely->explicitly | Kagami Sascha Rosylight | -8/+8 | |
| 2021-11-20 | Point at source of trait bound obligations in more places | Esteban 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-13 | Fix 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-25 | fix(rustc_typeck): report function argument errors on matching type | Michael Howell | -2/+2 | |
| Fixes #90101 | ||||
| 2021-10-20 | Only assemble_candidates_from_impls for polarity Negative | Santiago Pastorino | -12/+3 | |
| 2021-09-27 | better suggestions | Takayuki Maeda | -6/+8 | |
| 2021-09-26 | fix the relevant tests | Takayuki Maeda | -4/+8 | |
| 2021-09-16 | Point at call span that introduced obligation for the arg | Esteban Kuber | -12/+22 | |
| 2021-09-16 | Refactor `FulfillmentError` to track less data | Esteban 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-16 | Use note to point at bound introducing requirement | Esteban Küber | -18/+30 | |
| 2021-07-19 | Various diagnostics clean ups/tweaks | Esteban 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-08 | Rollup merge of #83689 - estebank:cool-bears-hot-tip, r=davidtwco | Dylan 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-06 | Point at `impl` and type defs introducing requirements on E0277 | Esteban Küber | -2/+10 | |
| 2021-04-06 | Remove trailing `:` from E0119 message | Esteban Küber | -1/+1 | |
| 2021-03-29 | Suggest box/pin/arc ing receiver on method calls | Esteban Küber | -8/+0 | |
| 2020-12-16 | Take into account negative impls in "trait item not found" suggestions | LeSeulArtichaut | -0/+113 | |
| 2020-10-17 | Suggest minimal subset features in `incomplete_features` lint | Yuki Okushi | -0/+5 | |
| 2020-09-03 | specialization_graph: avoid trimmed paths for OverlapError | Dan Aloni | -4/+4 | |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan 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-16 | warn against 'specialization' feature | Ralf Jung | -9/+57 | |
| 2020-04-26 | Use Cell::take in a couple places | ThinkChaos | -2/+2 | |
| 2020-04-24 | Rollup merge of #71235 - estebank:lt-sugg-2, r=ecstatic-morse | Dylan DPC | -1/+1 | |
| Tweak `'static` suggestion code Fix #71196. | ||||
| 2020-04-23 | fix error code for E0751 | YI | -15/+15 | |
| 2020-04-22 | Sort `MultiSpan`s on creation | Esteban Küber | -1/+1 | |
| 2020-04-08 | Small tweaks to required bound span | Esteban Küber | -6/+6 | |
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -1/+1 | |
| Keep more information about trait binding failures. | ||||
| 2020-03-26 | add test for negative specializes negative | Niko Matsakis | -0/+13 | |
| 2020-03-26 | move stderr file too | Niko Matsakis | -0/+12 | |
| 2020-03-26 | give the negative-impls-builtin test a more sensible name | Niko Matsakis | -0/+0 | |
| 2020-03-26 | comment the `typeck-negative-impls-builtin` test | Niko Matsakis | -0/+3 | |
| 2020-03-26 | move feature-gate-negative-impls test to traits/negative-impls | Niko Matsakis | -0/+3 | |
| 2020-03-26 | introduce `negative_impls` feature gate and document | Niko 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-26 | make a custom error for overlap with negative impls | Niko Matsakis | -47/+43 | |
| 2020-03-26 | permit negative impls for non-auto traits | Niko Matsakis | -0/+428 | |
