| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-08-03 | fix trailing whitespace in error message | klensy | -1/+1 | |
| 2022-07-31 | Improve `cannot move out of` error message | Obei Sideg | -2/+2 | |
| 2022-07-19 | Mention first and last macro in backtrace | Michael Goulet | -12/+12 | |
| 2022-07-15 | Move tests to fit in limit | Esteban Küber | -0/+89 | |
| 2022-07-15 | Provide structured suggestion for dropped temp value | Esteban Küber | -6/+22 | |
| 2022-07-13 | remove untagged_union feature gate | Ralf Jung | -25/+23 | |
| 2022-07-08 | Auto merge of #98482 - cjgillot:short-struct-span-closure, r=estebank | bors | -199/+152 | |
| Shorten def_span of closures to just their header Continuation of https://github.com/rust-lang/rust/pull/93967. | ||||
| 2022-07-07 | Wording tweak | Esteban Küber | -9/+11 | |
| 2022-07-07 | Fix label on uninit binding field assignment | Esteban Küber | -2/+2 | |
| 2022-07-07 | Add test for `for` loop maybe initializing binding | Esteban Küber | -0/+20 | |
| 2022-07-07 | Review comments: wording | Esteban Küber | -17/+18 | |
| 2022-07-07 | Tweak wording and spans | Esteban Küber | -173/+173 | |
| 2022-07-07 | On partial uninit error point at where we need init | Esteban Küber | -187/+391 | |
| When a binding is declared without a value, borrowck verifies that all codepaths have *one* assignment to them to initialize them fully. If there are any cases where a condition can be met that leaves the binding uninitialized or we attempt to initialize a field of an unitialized binding, we emit E0381. We now look at all the statements that initialize the binding, and use them to explore branching code paths that *don't* and point at them. If we find *no* potential places where an assignment to the binding might be missing, we display the spans of all the existing initializers to provide some context. | ||||
| 2022-07-07 | Fix borrowck closure span. | Camille GILLOT | -22/+48 | |
| 2022-07-07 | Shorten span for closures. | Camille GILLOT | -187/+114 | |
| 2022-07-01 | Shorten def_span for more items. | Camille GILLOT | -26/+14 | |
| 2022-06-29 | Make RPIT and TAIT work exactly the same | Oli Scherer | -4/+15 | |
| 2022-06-28 | Do not use a suggestion to change a binding's name to a type | Michael Goulet | -12/+13 | |
| 2022-06-28 | Remove redundant logic to suggest `as_ref` | Michael Goulet | -0/+47 | |
| 2022-06-25 | bless after rebase | Ralf Jung | -0/+39 | |
| 2022-06-24 | Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726 | bors | -68/+5 | |
| fix universes in the NLL type tests In the NLL code, we were not accommodating universes in the `type_test` logic. Fixes #98095. r? `@compiler-errors` This breaks some tests, however, so the purpose of this branch is more explanatory and perhaps to do a crater run. | ||||
| 2022-06-21 | Move some tests to more reasonable directories | Caio | -147/+0 | |
| 2022-06-16 | fix one more case of trailing space | klensy | -23/+23 | |
| 2022-06-16 | diagnostics: fix trailing space | klensy | -3/+3 | |
| 2022-06-15 | generalize the outlives obligation code | Niko Matsakis | -68/+5 | |
| The code now accepts `Binder<OutlivesPredicate>` instead of just `OutlivesPredicate` and thus exercises the new, generalized `IfEqBound` codepaths. Note though that we never *produce* Binder<OutlivesPredicate>, so we are only testing a subset of those codepaths that excludes actual higher-ranked outlives bounds. | ||||
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -9/+51 | |
| 2022-06-03 | Fully stabilize NLL | Jack Huey | -448/+99 | |
| 2022-06-01 | Add regression test for #71546 | Yuki Okushi | -0/+39 | |
| 2022-05-28 | Add regression test for #81899 | Yuki Okushi | -0/+30 | |
| 2022-05-22 | Use revisions for NLL in borrowck | Jack Huey | -26/+121 | |
| 2022-05-08 | Move some tests to more reasonable places | Caio | -0/+25 | |
| 2022-05-06 | Resolve vars in note_type_err | Jack Huey | -22/+0 | |
| 2022-04-20 | Remove mutable_borrow_reservation_conflict lint | Jack Huey | -241/+72 | |
| 2022-04-08 | suggest adding a local for vector to fix borrowck errors | Takayuki Maeda | -0/+78 | |
| 2022-03-09 | Auto merge of #94515 - estebank:tweak-move-error, r=davidtwco | bors | -15/+26 | |
| Tweak move error Point at method definition that causes type to be consumed. Fix #94056. | ||||
| 2022-03-07 | Update tests after feature stabilization | Eric Holk | -10/+8 | |
| 2022-03-06 | Erase regions when checking for missing Copy predicates | Michael Goulet | -0/+31 | |
| 2022-03-03 | Tweak move error | Esteban Kuber | -15/+26 | |
| Point at method definition that causes type to be consumed. Fix #94056. | ||||
| 2022-02-12 | bless you | Deadbeef | -2/+3 | |
| 2022-01-22 | [borrowck] Fix help on mutating &self in async fns | Alyssa Verkade | -0/+26 | |
| Previously, when rustc was provided an async function that tried to mutate through a shared reference to an implicit self (as shown in the ui test), rustc would suggest modifying the parameter signature to `&mut` + the fully qualified name of the ty (in the case of the repro `S`). If a user modified their code to match the suggestion, the compiler would not accept it. This commit modifies the suggestion so that when rustc is provided the ui test that is also attached in this commit, it suggests (correctly) `&mut self`. We try to be careful about distinguishing between implicit and explicit self annotations, since the latter seem to be handled correctly already. Fixes rust-lang/rust#93093 | ||||
| 2022-01-12 | Remove ui tests for LLVM-style inline assembly | Tomasz Miąsko | -164/+0 | |
| 2021-12-28 | Added regression test for issue 92015 | chordtoll | -0/+18 | |
| 2021-12-10 | Suggest using a temporary variable to fix borrowck errors | Noah Lev | -0/+170 | |
| In Rust, nesting method calls with both require `&mut` access to `self` produces a borrow-check error: error[E0499]: cannot borrow `*self` as mutable more than once at a time --> src/lib.rs:7:14 | 7 | self.foo(self.bar()); | ---------^^^^^^^^^^- | | | | | | | second mutable borrow occurs here | | first borrow later used by call | first mutable borrow occurs here That's because Rust has a left-to-right evaluation order, and the method receiver is passed first. Thus, the argument to the method cannot then mutate `self`. There's an easy solution to this error: just extract a local variable for the inner argument: let tmp = self.bar(); self.foo(tmp); However, the error doesn't give any suggestion of how to solve the problem. As a result, new users may assume that it's impossible to express their code correctly and get stuck. This commit adds a (non-structured) suggestion to extract a local variable for the inner argument to solve the error. The suggestion uses heuristics that eliminate most false positives, though there are a few false negatives (cases where the suggestion should be emitted but is not). Those other cases can be implemented in a future change. | ||||
| 2021-11-30 | Remove all migrate.nll.stderr files | Lucas Kent | -47/+13 | |
| 2021-11-28 | Rollup merge of #90131 - camsteffen:fmt-args-span-fix, r=cjgillot | Matthias Krüger | -0/+14 | |
| Fix a format_args span to be expansion I found this while exploring solutions for rust-lang/rust-clippy#7843. r? `@m-ou-se` | ||||
| 2021-11-25 | Add test demonstrating no more ICE | Michael Goulet | -0/+27 | |
| 2021-11-21 | Simplify for loop desugar | Cameron Steffen | -3/+3 | |
| 2021-11-20 | Point at bounds when comparing impl items to trait | Esteban Kuber | -2/+2 | |
| 2021-11-18 | Move some tests to more reasonable directories | Caio | -0/+77 | |
| 2021-11-16 | Rollup merge of #90936 - JohnTitor:issue-80772, r=Mark-Simulacrum | Yuki Okushi | -0/+21 | |
| Add a regression test for #80772 Closes #80772 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |