about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2018-09-26Auto merge of #54526 - nnethercote:shrink-StatementKind, r=nagisabors-59/+70
2018-09-26make NLL handle `IfEq` bounds by using SCC normalizationNiko Matsakis-9/+113
2018-09-26switch to use `VerifyBound` instead of `RegionTest`Niko Matsakis-72/+27
2018-09-26region_infer: rustfmtNiko Matsakis-4/+2
2018-09-26refactor away `AnyRegions` and `AllRegions`Niko Matsakis-31/+12
2018-09-26introduce `VerifyBound::IfEq` (presently unused)Niko Matsakis-0/+5
2018-09-26encapsulate `infcx` too into the delegateNiko Matsakis-34/+84
2018-09-26extract out NLL-specific code from relate-tys into a delegateNiko Matsakis-53/+84
2018-09-26refactor NLL relate_tys to use Region internally, not RegionVidNiko Matsakis-59/+42
2018-09-26type_check/mod.rs: rustfmtNiko Matsakis-137/+100
2018-09-26use `RegionBoundPairs` type aliasNiko Matsakis-7/+8
2018-09-26Auto merge of #54164 - mikhail-m1:54131, r=pnkfelixbors-3/+104
2018-09-25Auto merge of #53542 - alexreg:impl-trait-in-bindings, r=cramertjbors-139/+172
2018-09-25Change the diagnostic number from 714 to 716.Felix S. Klock II-3/+3
2018-09-25add "temporary value dropped while borrowed" errorMikhail Modin-3/+104
2018-09-25Handle locals in closures properly.Alexander Regueiro-4/+5
2018-09-25Handle impl trait in MIR type checked for assignments.Matthew Jasper-137/+169
2018-09-25Lower `impl Trait` types in locals.Alexander Regueiro-2/+2
2018-09-25Auto merge of #53438 - matthewjasper:permissive-match-access, r=pnkfelixbors-96/+414
2018-09-24Rename places_conflict to borrow_conflicts_with_placeMatthew Jasper-13/+13
2018-09-24Add a MIR transform to remove fake readsMatthew Jasper-3/+66
2018-09-24Don't check for conflicting borrows of `ReadForMatch`esMatthew Jasper-3/+12
2018-09-24Add more fake borrows to matchesMatthew Jasper-51/+160
2018-09-24Better messages for errors from Shallow borrowsMatthew Jasper-9/+96
2018-09-24Add "Shallow" borrow kindMatthew Jasper-20/+70
2018-09-24Auto merge of #54416 - christianpoveda:master, r=wesleywiserbors-2/+2
2018-09-24Shrink StatementKind::InlineAsm.Nicholas Nethercote-7/+9
2018-09-24Shrink StatementKind::Assign.Nicholas Nethercote-52/+61
2018-09-23Rework checking for borrows conflicting with dropsMatthew Jasper-397/+156
2018-09-23Remove irrelevant message about drop orderMatthew Jasper-2/+4
2018-09-23Auto merge of #54229 - davidtwco:issue-52534, r=pnkfelixbors-409/+951
2018-09-23Auto merge of #54380 - RalfJung:miri-snapshot, r=eddybbors-312/+284
2018-09-23Only annotate if borrow is returned.David Wood-40/+198
2018-09-23Correctly handle named lifetimes.David Wood-91/+189
2018-09-23Renamed ppaux highlight region hook.David Wood-3/+7
2018-09-23Added note about dangling references.David Wood-0/+9
2018-09-23Improve 'dropped here' note.David Wood-1/+17
2018-09-23Improve borrow errors for closures.David Wood-120/+247
2018-09-23Improve non-closure, reference in-and-out errors.David Wood-10/+114
2018-09-23Refactor MirBorrowckCtxt to take infcx instead of tcx.David Wood-108/+113
2018-09-23Refactor region naming for control of diagnostics.David Wood-125/+168
2018-09-23Refactor explain_borrow to return explanation.David Wood-162/+140
2018-09-23Auto merge of #54310 - pnkfelix:issue-52059-report-borrow-drop-conflict, r=ni...bors-21/+199
2018-09-23Auto merge of #54262 - matthewjasper:explain-in-typeck, r=nikomatsakisbors-328/+447
2018-09-22Auto merge of #53508 - japaric:maybe-uninit, r=RalfJungbors-1/+1
2018-09-22Auto merge of #54188 - lqd:fallout-53695, r=nikomatsakisbors-26/+65
2018-09-22use is_uninhabited in more placesJorge Aparicio-1/+1
2018-09-22Rollup merge of #54412 - jcpst:replace_span_suggestion, r=estebankPietro Albini-1/+3
2018-09-22Rollup merge of #54370 - nnethercote:better-domain_size, r=nikomatsakisPietro Albini-4/+4
2018-09-21fix commentRalf Jung-1/+1