summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2018-12-04Propagate all closure requirements to the callerMatthew Jasper-1/+1
2018-11-22Replace the ICEing on const fn loops with an errorOliver Scherer-5/+3
2018-11-19Refactor and add `PlaceContext::AscribeUserTy`.David Wood-79/+85
2018-11-19Add helpful logging statements.David Wood-1/+29
2018-11-17resolve: Improve diagnostics for resolution ambiguitiesVadim Petrochenkov-1/+2
2018-11-10If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II-8/+27
2018-11-01Fix wrong validation clasisfication of `Option<&T>::Some` valuesOliver Scherer-1/+1
2018-10-31Fix an ICE in the min_const_fn analysisOliver Scherer-2/+3
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-36/+101
2018-10-29Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-49/+107
2018-10-29Added `mir::UserTypeProjection`, a stub for a structure that projects *into* ...Felix S. Klock II-26/+34
2018-10-29Refactoring: added `PatternTypeAnnotation` wrapper around `UserTypeAnnotation...Felix S. Klock II-13/+28
2018-10-29restrict scope of methods that are only called within mod tree of parent.Felix S. Klock II-2/+2
2018-10-29Shrink `Statement`.Nicholas Nethercote-5/+5
2018-10-29Remove redundant cloneShotaro Yamada-9/+9
2018-10-25Auto merge of #54490 - wesleywiser:rewrite_it_in_mir, r=oli-obkbors-0/+161
2018-10-25Auto merge of #55347 - pietroalbini:rollup, r=pietroalbinibors-12/+12
2018-10-25Rollup merge of #55282 - sinkuu:redundant_clone, r=estebankPietro Albini-2/+2
2018-10-25Rollup merge of #55269 - matthiaskrgr:typos_oct, r=zackmdavisPietro Albini-10/+10
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-23Auto merge of #55229 - nikomatsakis:issue-54692-closure-signatures, r=Matthew...bors-25/+103
2018-10-23type_check/mod.rs: rustfmtNiko Matsakis-24/+27
2018-10-23check the self type is well-formedNiko Matsakis-0/+2
2018-10-23fix typos in various placesMatthias Krüger-10/+10
2018-10-23Remove redundant cloneShotaro Yamada-2/+2
2018-10-23Auto merge of #54778 - scottmcm:stabilize-ihle, r=pnkfelixbors-1/+1
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-21Auto merge of #55179 - bjorn3:miri_public_op_field, r=RalfJungbors-19/+31
2018-10-21Address review commentsbjorn3-0/+3
2018-10-21Rename read_local_of_frame to access_localbjorn3-2/+2
2018-10-21Rename alloc_map_ref to alloc_mapbjorn3-1/+1
2018-10-21Add alloc_map accessorbjorn3-0/+5
2018-10-21Use `read_local_of_frame` in `eval_place_to_op`bjorn3-31/+23
2018-10-21Fix errorsbjorn3-4/+6
2018-10-21Add method to get OpTy for local from arbitrary framebjorn3-1/+11
2018-10-21Make OpTy field op public for prirodabjorn3-1/+1
2018-10-21Auto merge of #55069 - matthewjasper:explain-free-region-liveness, r=nikomats...bors-67/+525
2018-10-21Use new region infer errors for explaining borrowsMatthew Jasper-58/+451
2018-10-21Auto merge of #55125 - RalfJung:stacked-borrows, r=oli-obkbors-145/+305
2018-10-20Give an error number for "borrowed data escapes outside of closure"Matthew Jasper-3/+21
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-15/+16
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-43/+40
2018-10-19Stabilize impl_header_lifetime_elision in 2015Scott McMurray-1/+1
2018-10-19Auto merge of #55162 - nikomatsakis:issue-54902-underscore-bound, r=tmandrybors-0/+1