about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
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
2018-10-17mir/borrowck: deduplicate assignments and returnsljedrz-6/+2
2018-10-17mir/borrowck: a few string tweaksljedrz-18/+16
2018-10-17mir/borrowck: simplify common patternsljedrz-219/+203
2018-10-17Auto merge of #54941 - pnkfelix:issue-21232-reject-partial-reinit, r=nikomats...bors-52/+161
2018-10-17rustc: improve E0669 spanLevente Kurusa-2/+2
2018-10-17Don't buffer lints.David Wood-7/+7
2018-10-16Don't complain re missing `mut` on attempt to partially initialize an uniniti...Felix S. Klock II-9/+23
2018-10-16Cleanup `fn is_mutable` by removing some unnecessary control-flow breaks.Felix S. Klock II-4/+4
2018-10-16Add helper method to determine if local had ever been initialized at current ...Felix S. Klock II-19/+25
2018-10-16Make us error consistently in issue #21232, to fix #54986.Felix S. Klock II-20/+109
2018-10-15avoid type variables in the self-typeNiko Matsakis-1/+13
2018-10-15handle user-self-type for def-idsNiko Matsakis-3/+21
2018-10-15pull the common code across user-ty variants up topNiko Matsakis-22/+34
2018-10-15introduce a more expressive `UserSubsts`Niko Matsakis-2/+5
2018-10-15introduce `FnDef` and `AdtDef` to `UserTypeAnnotation`Niko Matsakis-2/+14
2018-10-15introduce a `UserTypeAnnotation` enumNiko Matsakis-19/+21
2018-10-15extract `type_relate` into the inference context as `nll_relate`Niko Matsakis-650/+4
2018-10-15rework `relate_type_and_user_type` to use type inference variablesNiko Matsakis-74/+39
2018-10-15make `TypeRelating` take an infcx againNiko Matsakis-8/+8
2018-10-15remove the sub/super terminology for universesNiko Matsakis-11/+11
2018-10-15remove dead iterator codeNiko Matsakis-13/+0
2018-10-15make `UniverseIndex` hashable, rename "sub-" to "superuniverse"Niko Matsakis-6/+6