summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-12-04Propagate all closure requirements to the callerMatthew Jasper-1/+1
2018-11-19Refactor and add `PlaceContext::AscribeUserTy`.David Wood-13/+15
2018-11-10If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II-8/+27
2018-10-31borrowck=migrate mode needs to check parent(s) when its given a closure.Felix S. Klock II-1/+27
2018-10-29add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-2/+2
2018-10-29Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-3/+17
2018-10-29Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-6/+6
2018-10-29Added `mir::UserTypeProjection`, a stub for a structure that projects *into* ...Felix S. Klock II-6/+7
2018-10-29Shrink `Statement`.Nicholas Nethercote-1/+1
2018-10-29Remove redundant cloneShotaro Yamada-1/+1
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-99/+15
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+1
2018-10-23type_check/mod.rs: rustfmtNiko Matsakis-24/+27
2018-10-23check the self type is well-formedNiko Matsakis-0/+2
2018-10-22stop reporting "unsatisfied lifetime bounds" errors after the firstNiko Matsakis-0/+1
2018-10-22start enforcing closure typesNiko Matsakis-2/+74
2018-10-21Use new region infer errors for explaining borrowsMatthew Jasper-58/+386
2018-10-20Give an error number for "borrowed data escapes outside of closure"Matthew Jasper-3/+2
2018-10-20Use more accurate `ConstraintCategory`sMatthew Jasper-6/+51
2018-10-20Prefer type annotations and returns in free region errorsMatthew Jasper-0/+2
2018-10-20Auto merge of #55014 - ljedrz:lazyboye_unwraps, r=matthewjasperbors-11/+12
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-15/+15
2018-10-19Auto merge of #55162 - nikomatsakis:issue-54902-underscore-bound, r=tmandrybors-0/+1
2018-10-19normalize the self-type that we extract from implNiko Matsakis-0/+1
2018-10-19add useful debug logNiko Matsakis-0/+1
2018-10-19region_infer/mod.rs: rustfmtNiko Matsakis-8/+8
2018-10-19suppress duplicate -- or near duplicate -- type test errorsNiko Matsakis-4/+26
2018-10-19normalize and prove predicatesNiko Matsakis-1/+50
2018-10-19normalize after substitutionNiko Matsakis-0/+1
2018-10-19pull `relate_type_and_user_type` code into `type_check` moduleNiko Matsakis-132/+99
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-13/+13
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-13/+13
2018-10-19type_check/mod.rs: rustfmtNiko Matsakis-40/+29
2018-10-19replace `UserTypeAnnotation::AdtDef` with `TypeOf`Niko Matsakis-16/+0
2018-10-19convert `FnDef` to `TypeOf`, which is more generalNiko Matsakis-2/+4
2018-10-19Rollup merge of #55013 - matthewjasper:propagate-generator-bounds, r=nikomats...kennytm-19/+12
2018-10-19Prefer unwrap_or_else to unwrap_or in case of function calls/allocationsljedrz-11/+12
2018-10-18Propagate bounds from generatorsMatthew Jasper-19/+12
2018-10-18Improve check to consider how value is used.David Wood-22/+15
2018-10-18Add by-value captured variable note on second use.David Wood-14/+122
2018-10-18Extend closure special-casing for generators.David Wood-101/+177
2018-10-18Rollup merge of #55151 - ljedrz:cleanup_nll, r=estebankkennytm-54/+51
2018-10-18Rollup merge of #55122 - ljedrz:cleanup_mir_borrowck, r=Mark-Simulacrumkennytm-252/+228
2018-10-17Auto merge of #55134 - davidtwco:issue-55118, r=pnkfelixbors-7/+7
2018-10-17move E0637 to lowering and improve output, add more testsNiko Matsakis-0/+1
2018-10-17nll: improve common patternsljedrz-35/+32
2018-10-17nll: improve format operationsljedrz-9/+9
2018-10-17nll: improve allocationsljedrz-10/+10
2018-10-17mir/borrowck: remove a redundant cloneljedrz-3/+1
2018-10-17mir/borrowck: remove redundant returnsljedrz-6/+6