| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2021-12-11 | Tweak assoc type obligation spans | Esteban Kuber | -2/+2 | |
| * Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors | ||||
| 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-08 | impl Copy/Clone for arrays in std, not in compiler | bstrie | -2/+3 | |
| 2021-09-16 | Point at call span that introduced obligation for the arg | Esteban Kuber | -1/+3 | |
| 2021-08-16 | Use note to point at bound introducing requirement | Esteban Küber | -21/+38 | |
| 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 | ||||
| 2020-10-30 | Fix various Chalk lowering bugs | Matthew Jasper | -0/+33 | |
| - Add more well-known traits - Use the correct binders when lowering trait objects - Use correct substs when lowering trait objects - Use the correct binders for opaque_ty_data - Lower negative impls with the correct polarity - Supply associated type values - Use `predicates_defined_on` for where clauses | ||||
| 2020-10-06 | Separate bounds and predicates for associated/opaque types | Matthew Jasper | -26/+47 | |
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -2/+2 | |
| 2020-09-04 | Bless changed test output | Jack Huey | -1/+1 | |
| 2020-09-04 | Upgrade chalk to 0.21 | Jack Huey | -6/+14 | |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -3/+3 | |
| 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-14 | Remove `Sized` `on_unimplemented` note | Esteban Küber | -1/+0 | |
| 2020-06-24 | Update Chalk | Jack Huey | -38/+85 | |
| 2020-06-19 | Nits and change skip_binder to no_bound_vars for fndef | Jack Huey | -0/+15 | |
| 2020-06-19 | Test error order is non-deterministic | Jack Huey | -12/+5 | |
| 2020-06-19 | Implement fn_def_datum | Jack Huey | -21/+42 | |
| 2020-05-07 | Reintegrate chalk using chalk-solve | Jack Huey | -0/+579 | |
| 2020-03-02 | Remove chalk integration | CAD97 | -487/+0 | |
| 2019-11-18 | Surround types with backticks in type errors | Esteban Küber | -1/+1 | |
| 2019-11-18 | Remove E0308 note when primary label has all info | Esteban Küber | -3/+0 | |
| 2019-09-22 | On obligation errors point at the unfulfilled binding when possible | Esteban Küber | -1/+1 | |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -5/+3 | |
| 2019-07-27 | tests: Move run-pass tests without naming conflicts to ui | Vadim Petrochenkov | -0/+177 | |
| 2019-04-18 | hide `--explain` hint if error has no extended info | Andy Russell | -1/+1 | |
| 2019-03-20 | Fix a bug in implied bounds | scalexm | -3/+3 | |
| 2019-03-20 | Gather region constraints not coming from unification | scalexm | -2/+0 | |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -15/+15 | |
| 2018-12-31 | Improve type mismatch error messages | Yuning Zhang | -1/+1 | |
| Replace "integral variable" with "integer" and replace "floating-point variable" with "floating-point number" to make the message less confusing. | ||||
| 2018-12-27 | Add tests | scalexm | -0/+54 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -93/+13 | |
| 2018-11-13 | Implement `ProjectionEq-Normalize` | csmoe | -0/+1 | |
| 2018-11-13 | Use a dummy outlives requirement for `where Type:,` (see #53696) | scalexm | -2/+2 | |
| A `WF(Type)` predicate was used previously, which did not play well with implied bounds in chalk. | ||||
| 2018-11-13 | Bypass ppaux for `Outlives` predicates | scalexm | -11/+11 | |
| 2018-11-13 | Provide program clauses for builtin types | scalexm | -0/+2 | |
| 2018-11-13 | Pretty print quantified goals and clauses | scalexm | -64/+51 | |
| 2018-10-17 | Add tests for `program_clauses_for_env` | scalexm | -3/+97 | |
| 2018-10-08 | Add chalk rules related to associated type defs | scalexm | -11/+21 | |
| * Rule ProjectionEq-Skolemize * Rule WellFormed-AssocTy * Rule Implied-Trait-From-AssocTy | ||||
| 2018-10-03 | Remove duplicate predicates in `explicit_predicates_of` | scalexm | -4/+2 | |
| Fixes #52187. | ||||
| 2018-08-31 | rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ↵ | Eduard-Mihai Burtescu | -2/+11 | |
| ignoring it. | ||||
| 2018-08-27 | fix some anon params | Mark Mansi | -7/+7 | |
| 2018-07-07 | update tests | csmoe | -6/+3 | |
| 2018-07-05 | merge wellformed(wc)s | csmoe | -13/+7 | |
| 2018-07-05 | update test | csmoe | -0/+16 | |
| 2018-07-02 | introduce `predicates_defined_on` for traits | Niko Matsakis | -2/+2 | |
| This new query returns only the predicates *directly defined* on an item (in contrast to the more common `predicates_of`, which returns the predicates that must be proven to reference an item). These two sets are almost always identical except for traits, where `predicates_of` includes an artificial `Self: Trait<...>` predicate (basically saying that you cannot use a trait item without proving that the trait is implemented for the type parameters). This new query is only used in chalk lowering, where this artificial `Self: Trait` predicate is problematic. We encode it in metadata but only where needed since it is kind of repetitive with existing information. Co-authored-by: Tyler Mandry <tmandry@gmail.com> | ||||
| 2018-06-07 | Add tests for `WellFormed-Type` and `FromEnv-Type` rules | scalexm | -0/+30 | |
| 2018-06-07 | Remove `FromEnv(ProjectionEq(...))` from tests | scalexm | -1/+1 | |
| 2018-04-23 | sort strings on output | Niko Matsakis | -9/+9 | |
| 2018-04-23 | first draft of `program_clauses_for_env` | Niko Matsakis | -0/+48 | |
| This computes the transitive closure of traits that appear in the environment and then appends their clauses. It needs some work, but it's in the right direction. | ||||
| 2018-04-23 | in unit tests, use `note` to dump multiple program clauses | Niko Matsakis | -100/+38 | |
| (rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs. | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |