| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-06-01 | change `PointerKind::Implicit` to a note | Niko Matsakis | -6/+2 | |
| `PointerKind` is included in `LoanPath` and hence forms part of the equality check; this led to having two unequal paths that both represent `*x`, depending on whether the `*` was inserted automatically or explicitly. Bad mojo. The `note` field, in contrast, is intended more-or-less primarily for this purpose of adding extra data. | ||||
| 2018-03-28 | Stabilize match_default_bindings | Taylor Cramer | -1/+1 | |
| This includes a submodule update to rustfmt in order to allow a stable feature declaration. | ||||
| 2018-03-20 | Rollup merge of #49092 - mark-i-m:deptrack_readme, r=nikomatsakis | kennytm | -0/+5 | |
| Replace many of the last references to readmes In particular, this removes the dep track readme, so it should not be merged before https://github.com/rust-lang-nursery/rustc-guide/pull/92 Fix #47935 cc #48478 r? @nikomatsakis | ||||
| 2018-03-16 | Replace many of the last references to readmes | Mark Mansi | -0/+5 | |
| 2018-03-16 | change &self to self and fix lifetime annotations | csmoe | -14/+14 | |
| 2018-03-13 | add `canonicalize` method to `InferCtxt` [VIC] | Niko Matsakis | -0/+2 | |
| 2018-03-05 | Turn features() into a query. | Michael Woerister | -1/+1 | |
| 2018-03-02 | Replace Rc with Lrc for shared data | John Kåre Alsaker | -4/+7 | |
| 2018-02-17 | fix more typos found by codespell. | Matthias Krüger | -1/+1 | |
| 2018-02-06 | Rollup merge of #47543 - topecongiro:issue-42344, r=nikomatsakis | kennytm | -11/+1 | |
| Disallow mutable borrow to non-mut statics Closes #42344. | ||||
| 2018-02-04 | Remove delay_span_bug() in check_aliasability | Seiichi Uchida | -11/+1 | |
| This path was considered to be unreachable. However, `&mut` could potentially live inside `static`. For example, `static TAB: [&mut [u8]; 0] = [];`. | ||||
| 2018-02-02 | Auto merge of #47465 - estebank:include-space-after-mut, r=nikomatsakis | bors | -1/+1 | |
| Include space in suggestion `mut` in bindings Fix #46614. | ||||
| 2018-01-29 | rustc_borrowck: replace "lvalue" terminology with "place" in docs. | Eduard-Mihai Burtescu | -80/+80 | |
| 2018-01-29 | rustc: replace "lvalue" terminology with "place" in the code. | Eduard-Mihai Burtescu | -3/+3 | |
| 2018-01-27 | end_point handling multibyte characters correctly. | David Wood | -3/+4 | |
| 2018-01-26 | Consider all whitespace when preparing span | Esteban Küber | -1/+1 | |
| 2018-01-26 | Include space in suggestion `mut` in bindings | Esteban Küber | -1/+1 | |
| 2018-01-23 | Use delay_span_bug for things that should be errors | John Kåre Alsaker | -3/+11 | |
| 2018-01-23 | Adds support for immovable generators. Move checking of invalid borrows ↵ | John Kåre Alsaker | -68/+100 | |
| across suspension points to borrowck. Fixes #44197, #45259 and #45093. | ||||
| 2018-01-15 | Do not suggest to make `mut` binding external to `Fn` closure | Esteban Küber | -3/+25 | |
| 2018-01-14 | Auto merge of #47261 - estebank:immutable-arg, r=petrochenkov | bors | -1/+2 | |
| Assignment to immutable argument: diagnostic tweak Re #46659. | ||||
| 2018-01-10 | Modify message to match label | Esteban Küber | -0/+1 | |
| 2018-01-09 | Rollup merge of #47258 - rkruppe:struct-assert, r=eddyb | kennytm | -3/+3 | |
| rustc::ty: Rename struct_variant to non_enum_variant r? @eddyb | ||||
| 2018-01-07 | Assignment to immutable argument: diagnostic tweak | Esteban Küber | -1/+1 | |
| 2018-01-08 | rustc::ty: Rename `struct_variant` to `non_enum_variant` | Robin Kruppe | -3/+3 | |
| It is also intended for use with unions. | ||||
| 2018-01-07 | Try to fix a perf regression by updating log | Malo Jaffré | -1/+1 | |
| Upgrade `log` to `0.4` in multiple crates. | ||||
| 2018-01-04 | Auto merge of #47124 - estebank:loan-paths, r=nikomatsakis | bors | -7/+21 | |
| Reword reason for move note On move errors, when encountering an enum variant, be more ambiguous and do not refer to the type on the cause note, to avoid referring to `(maybe as std::prelude::v1::Some).0`, and instead refer to `the value`. Sidesteps part of the problem with #41962: ``` error[E0382]: use of partially moved value: `maybe` --> file.rs:5:30 | 5 | if let Some(thing) = maybe { | ----- ^^^^^ value used here after move | | | value moved here = note: move occurs because the value has type `std::vec::Vec<bool>`, which does not implement the `Copy` trait error[E0382]: use of moved value: `(maybe as std::prelude::v1::Some).0` --> file.rs:5:21 | 5 | if let Some(thing) = maybe { | ^^^^^ value moved here in previous iteration of loop = note: move occurs because the value has type `std::vec::Vec<bool>`, which does not implement the `Copy` trait error: aborting due to 2 previous errors ``` Previous discussion: #44360 r? @arielb1 | ||||
| 2018-01-03 | Add mir test, review comments | Esteban Küber | -3/+3 | |
| 2018-01-02 | Be ambiguous when type cannot be properly mentioned | Esteban Küber | -16/+24 | |
| 2018-01-01 | Address review comments: make label shorter | Esteban Küber | -8/+14 | |
| 2018-01-01 | Move reason for move to label | Esteban Küber | -11/+11 | |
| 2018-01-01 | Delay panic for aliasing violation for static items. | matthewjasper | -8/+13 | |
| 2017-12-31 | Reword trying to operate in immutable fields | Esteban Küber | -23/+41 | |
| The previous message ("cannot assign/mutably borrow immutable field") when trying to modify a field of an immutable binding gave the (incorrect) impression that fields can be mutable independently of their ADT's binding. Slightly reword the message to read "cannot assign/mutably borrow field of immutable binding". | ||||
| 2017-12-20 | feature nll implies borrowck=mir | Santiago Pastorino | -1/+1 | |
| 2017-12-20 | Auto merge of #46733 - nikomatsakis:nll-master-to-rust-master-5, r=arielb1 | bors | -0/+1 | |
| nll part 5 Next round of changes from the nll-master branch. Extensions: - we now propagate ty-region-outlives constraints out of closures and into their creator when necessary - we fix a few ICEs that can occur by doing liveness analysis (and the resulting normalization) during type-checking - we handle the implicit region bound that assumes that each type `T` outlives the fn body - we handle normalization of inputs/outputs in fn signatures Not included in this PR (will come next): - handling `impl Trait` - tracking causal information - extended errors r? @arielb1 | ||||
| 2017-12-15 | add a new RegionKind variant: ReClosureBound | Niko Matsakis | -0/+1 | |
| This is needed to allow the `ClosureRegionRequirements` to capture types that include regions. | ||||
| 2017-12-14 | Point at var in short lived borrows | Esteban Küber | -11/+7 | |
| 2017-12-04 | rustc_back: remove slice module in favor of std::slice::from_ref. | Irina-Gabriela Popa | -5/+4 | |
| 2017-11-26 | Replace -Zborrowck-mir with -Zborrowck=mode | est31 | -0/+11 | |
| where mode is one of {ast,mir,compare}. This commit only implements the functionality. The tests will be updated in a follow up commit. | ||||
| 2017-11-18 | convert the `closure_kinds` map to just store the origin information | Niko Matsakis | -4/+3 | |
| The closure kinds themselves are now completely found in the `ClosureSubsts`. | ||||
| 2017-11-16 | Introduce LocalDefId which provides a type-level guarantee that the DefId is ↵ | Michael Woerister | -5/+5 | |
| from the local crate. | ||||
| 2017-11-02 | Make the difference between lint codes and error codes explicit | Oliver Schneider | -4/+9 | |
| 2017-10-31 | make end-point optional in the borrow check | Niko Matsakis | -1/+2 | |
| 2017-10-30 | Refactor if block to use idiomatic matches | Josh Leeb-du Toit | -14/+10 | |
| 2017-10-30 | Refactor matches to use Result::err | Josh Leeb-du Toit | -11/+4 | |
| 2017-10-29 | Fix duplicate display of error E0502 | Josh Leeb-du Toit | -9/+30 | |
| 2017-10-25 | Reword to avoid using either re-assignment or reassignment in errors | Carol (Nichols || Goulding) | -1/+1 | |
| 2017-10-18 | Auto merge of #44501 - nikomatsakis:issue-44137-non-query-data-in-tcx, r=eddyb | bors | -2/+14 | |
| remove or encapsulate the remaining non-query data in tcx I wound up removing the existing cache around inhabitedness since it didn't seem to be adding much value. I reworked const rvalue promotion, but not that much (i.e., I did not split the computation into bits, as @eddyb had tossed out as a suggestion). But it's now demand driven, at least. cc @michaelwoerister -- see the `forbid_reads` change in last commit r? @eddyb -- since the trickiest of this PR is the work on const rvalue promotion cc #44137 | ||||
| 2017-10-17 | Rollup merge of #45097 - nivkner:fixme_fixup2, r=estebank | kennytm | -7/+7 | |
| address more FIXME whose associated issues were marked as closed part of #44366 | ||||
| 2017-10-16 | convert constant promotion into a query | Niko Matsakis | -2/+14 | |
