summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-09-16Auto merge of #54270 - GuillaumeGomez:rollup, r=GuillaumeGomezbors-18/+24
2018-09-16Rollup merge of #54213 - nnethercote:keccak-flow_inits-memory, r=nikomatsakisGuillaume Gomez-18/+24
2018-09-16Auto merge of #54157 - euclio:structured-suggestion, r=estebankbors-3/+5
2018-09-15Auto merge of #54177 - nnethercote:streamline-bit-stuff, r=Mark-Simulacrumbors-2/+2
2018-09-14Auto merge of #54088 - matthewjasper:use-reason-in-dlle-errors, r=pnkfelixbors-32/+108
2018-09-14De-overlap the lifetimes of `flow_inits` and `flow_{un,ever_}inits`.Nicholas Nethercote-18/+24
2018-09-14Remove `Iter` and `SparseIter` in indexed_set.rs.Nicholas Nethercote-2/+2
2018-09-12use structured suggestion for "missing mut" labelAndy Russell-3/+5
2018-09-10add link to https://github.com/rust-lang/rust/issues/54105Niko Matsakis-3/+3
2018-09-10propagate user-ascribes types down onto resulting bindingsNiko Matsakis-0/+19
2018-09-10generalize `AscribeUserType` to handle sub or super typeNiko Matsakis-83/+42
2018-09-10fix SCCs containing mixture of universesNiko Matsakis-28/+30
2018-09-10pacify the mercilous tidyNiko Matsakis-2/+5
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-22/+84
2018-09-10now that we can handle subtyping, fix higher-ranked equalityNiko Matsakis-10/+27
2018-09-09Suggest a let binding to extend temporary lifetimes with NLLMatthew Jasper-10/+22
2018-09-09Split explain_why_borrow_contains_point into two functionsMatthew Jasper-22/+86
2018-09-09add generalizationNiko Matsakis-99/+155
2018-09-09instantiate traversed binders rather than saving the scopesNiko Matsakis-14/+103
2018-09-09add a `first_free_index` parameterNiko Matsakis-5/+10
2018-09-09add some commentsNiko Matsakis-0/+16
2018-09-09factor out `lookup_bound_region`Niko Matsakis-11/+18
2018-09-09remove extra lifetime boundNiko Matsakis-1/+1
2018-09-09document the purpose of `ScopeInstantiator`Niko Matsakis-0/+7
2018-09-08Auto merge of #53909 - mikhail-m1:53643, r=nikomatsakisbors-15/+102
2018-09-08Auto merge of #53705 - ms2300:tmp, r=oli-obkbors-18/+19
2018-09-08Rollup merge of #53315 - nikomatsakis:newtype-index, r=Mark-Simulacrumkennytm-26/+28
2018-09-08Rollup merge of #53932 - matthewjasper:remove-base-path, r=nikomatsakiskennytm-46/+4
2018-09-07print less info to stabilize testsNiko Matsakis-4/+10
2018-09-07avoid propagating outlives obligations on locals if we canNiko Matsakis-0/+17
2018-09-07move `annotate` onto a method of `UniversalRegions`Niko Matsakis-61/+67
2018-09-07region_infer: rustfmtNiko Matsakis-17/+11
2018-09-07region_infer.rs: add some debug!Niko Matsakis-2/+7
2018-09-07Auto merge of #53327 - wesleywiser:wip_optimize_nll, r=nikomatsakisbors-99/+175
2018-09-07make field always private, add `From` implsNiko Matsakis-17/+1
2018-09-07change syntax of `newtype_index` to look like a struct declNiko Matsakis-9/+27
2018-09-07Auto merge of #53830 - davidtwco:issue-53228, r=nikomatsakisbors-5/+67
2018-09-06universal_regions.rs: rustfmtNiko Matsakis-13/+14
2018-09-06useful debug in `universal_regions`Niko Matsakis-2/+9
2018-09-06region_name: rustfmtNiko Matsakis-40/+42
2018-09-06add a useful debug to `give_region_a_name`Niko Matsakis-5/+11
2018-09-06[nll] teach SCC about `'static`Wesley Wiser-13/+71
2018-09-06[nll] Refactor the `Edges` iterator to return `OutlivesConstraints`Wesley Wiser-29/+31
2018-09-06Auto merge of #53575 - matthewjasper:unsized-is-an-error, r=estebankbors-32/+23
2018-09-06Skip a shared borrow of a immutable local variablesMikhail Modin-15/+102
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-18/+19
2018-09-03remove base_placeMatthew Jasper-46/+4
2018-08-31Omit 'missing IndexMut impl' suggestion when IndexMut is implemented.David Wood-3/+19
2018-08-30Run rustfmtSantiago Pastorino-34/+38
2018-08-30Make move out computation lazySantiago Pastorino-40/+84