| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-24 | Deduplicate more sized errors on call exprs | Esteban Küber | -5/+5 | |
| Change the implicit `Sized` `Obligation` `Span` for call expressions to include the whole expression. This aids the existing deduplication machinery to reduce the number of errors caused by a single unsized expression. | ||||
| 2024-01-19 | use implied bounds compat mode in MIR borrowck | lcnr | -7/+12 | |
| 2024-01-17 | Don't use compat versions of implied bounds in ImpliedOutlivesBounds query | Jack Huey | -1/+15 | |
| 2024-01-13 | Bless tests | George-lewis | -0/+1 | |
| Update tests | ||||
| 2024-01-02 | Adjust compiler tests for unused_tuple_struct_fields -> dead_code | Jake Goulding | -1/+1 | |
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 | |
| 2023-12-08 | Support bare unit structs in destructuring assignments | Michael Goulet | -5/+1 | |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -30/+30 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-20 | Avoid a `track_errors` by bubbling up most errors from `check_well_formed` | Oli Scherer | -18/+5 | |
| 2023-10-18 | Tweak wording of type errors involving type params | Esteban Küber | -1/+1 | |
| Fix #78206. | ||||
| 2023-10-15 | Suggest adding `return` if the type of unused semi return value can coerce ↵ | yukang | -0/+159 | |
| to the fn return type | ||||
| 2023-10-06 | Fix windows test that has different stderr output | Esteban Küber | -1/+2 | |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -56/+29 | |
| In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. | ||||
| 2023-10-04 | Show more information when multiple `impl` apply | Esteban Küber | -2/+103 | |
| 2023-08-28 | Tweak output of `to_pretty_impl_header` involving only anon lifetimes | Esteban Küber | -15/+15 | |
| Do not print `impl<> Foo for &Bar`. | ||||
| 2023-08-26 | More accurately point at arguments | Esteban Küber | -7/+7 | |
| 2023-08-16 | Fix suggestion for attempting to define a string with single quotes | beetrees | -1/+14 | |
| 2023-08-01 | Don't select infer -> dyn Trait | Michael Goulet | -1/+3 | |
| 2023-07-16 | stop mentioning number of applicate implementations | lcnr | -1/+1 | |
| 2023-07-16 | self type param infer, avoid ICE | lcnr | -0/+21 | |
| 2023-07-11 | Rollup merge of #113567 - chenyukang:yukang-fix-113354-while-let, r=cjgillot | Jubilee | -0/+22 | |
| While let suggestion will work for closure body Fixes #113354 | ||||
| 2023-07-11 | While let suggestion will work for closure | yukang | -0/+22 | |
| 2023-07-08 | Don't suggest `impl Trait` in path position | 许杰友 Jieyou Xu (Joe) | -0/+26 | |
| 2023-06-08 | Point at correct exprs for assert_eq type mismatch | Michael Goulet | -6/+7 | |
| 2023-05-09 | Rollup merge of #111021 - c410-f3r:dqewdas, r=petrochenkov | Matthias Krüger | -0/+23 | |
| Move some tests r? ``@petrochenkov`` | ||||
| 2023-05-08 | Move tests | Caio | -0/+23 | |
| 2023-05-08 | Tweak borrow suggestion | Michael Goulet | -8/+12 | |
| 2023-04-26 | Rollup merge of #110825 - notriddle:notriddle/issue-70082, r=compiler-errors | Matthias Krüger | -0/+27 | |
| diagnostics: add test case for already-solved issue Fixes #70082 | ||||
| 2023-04-25 | diagnostics: add test case for already-solved issue | Michael Howell | -0/+27 | |
| Fixes #70082 | ||||
| 2023-04-19 | Suggest deref on comparison binop RHS even if type is not Copy | Michael Goulet | -1/+23 | |
| 2023-04-07 | update tests/ui | ickk | -1/+1 | |
| 2023-04-07 | Rollup merge of #109957 - fmease:fix-109905, r=petrochenkov | Matthias Krüger | -4/+48 | |
| diagnostics: account for self type when looking for source of unsolved type variable Fixes #109905. When searching for the source of an unsolved infer var inside of a list of generic args, we look through the `tcx.generics_of(…).own_substs(…)` which *skips* the self type if present. However, the computed `argument_index` is later[^1] used to index into `tcx.generics_of(…).params` which may still contain the self type. In such case, we are off by one when indexing into the parameters. From now on, we account for this immediately after calling `own_substs` which keeps things local. This also fixes the wrong output in the preexisting UI test `inference/need_type_info/concrete-impl.rs` which was overlooked. It used to claim that the *type of type parameter `Self`* couldn't be inferred in `<Struct as Ambiguous<_>>::method()` which of course isn't true: `Self` equals `Struct` here, `A` couldn't be inferred. `@rustbot` label A-diagnostics [^1]: https://github.com/rust-lang/rust/blob/f98a2718141593fbb8dbad10acc537786d748156/compiler/rustc_infer/src/infer/error_reporting/need_type_info.rs#L471 | ||||
| 2023-04-05 | account for self type when looking for source of unsolved ty var | León Orell Valerian Liehr | -4/+48 | |
| 2023-04-05 | Add regression test for #80409 | Yuki Okushi | -0/+36 | |
| Signed-off-by: Yuki Okushi <jtitor@2k36.org> | ||||
| 2023-03-25 | fix type suggestions in match arms | Lukas Markeffsky | -1/+32 | |
| 2023-02-22 | diagnostics: update test cases to refer to assoc fn with `self` as method | Michael Howell | -12/+12 | |
| 2023-02-12 | Suggest the correct array length on mismatch | clubby789 | -0/+33 | |
| 2023-02-10 | Rollup merge of #107789 - jieyouxu:issue-107745, r=lcnr | Matthias Krüger | -0/+30 | |
| Avoid exposing type parameters and implementation details sourced from macro expansions Fixes #107745. ~~I would like to **request some guidance** for this issue, because I don't think this is a good fix (a band-aid at best).~~ ### The Problem The code ```rust fn main() { println!("{:?}", []); } ``` gets desugared into (`rustc +nightly --edition=2018 issue-107745.rs -Z unpretty=hir`): ```rust #[prelude_import] use std::prelude::rust_2018::*; #[macro_use] extern crate std; fn main() { { ::std::io::_print(<#[lang = "format_arguments"]>::new_v1(&["", "\n"], &[<#[lang = "format_argument"]>::new_debug(&[])])); }; } ``` so the diagnostics code tries to be as specific and helpful as possible, and I think it finds that `[]` needs a type parameter and so does `new_debug`. But since `[]` doesn't have an origin for the type parameter definition, it points to `new_debug` instead and leaks the internal implementation detail since all `[]` has is an type inference variable. ### ~~The Bad Fix~~ ~~This PR currently tries to fix the problem by bypassing the generated function `<#[lang = "format_argument"]>::new_debug` to avoid its generic parameter (I think it is auto-generated from the argument `[_; 0]`?) from getting collected as an `InsertableGenericArg`. This is problematic because it also prevents the help from getting displayed.~~ ~~I think this fix is not ideal and hard-codes the format generated code pattern, but I can't think of a better fix. I have tried asking on Zulip but no responses there yet.~~ | ||||
| 2023-02-09 | Introduce `ReError` | Esteban Küber | -110/+15 | |
| CC #69314 | ||||
| 2023-02-09 | Don't expose type parameters and implementation details from macro expansion | 许杰友 Jieyou Xu (Joe) | -0/+30 | |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -3/+3 | |
| The previous output was unintuitive to users. | ||||
| 2023-01-18 | add tests for 107090 | yukang | -0/+204 | |
| 2023-01-18 | defer array len printing to const arg printing | Boxy | -3/+3 | |
| 2023-01-14 | Deprioritize fulfillment errors that come from expansions. | Mara Bos | -4/+7 | |
| 2023-01-11 | Note predicate span on ImplDerivedObligation | Michael Goulet | -3/+6 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+2241 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |