summary refs log tree commit diff
path: root/src/librustc/mir
AgeCommit message (Expand)AuthorLines
2018-11-19Refactor and add `PlaceContext::AscribeUserTy`.David Wood-99/+191
2018-11-10If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II-8/+11
2018-10-29Add intern table for `List<ProjectionElem<'tcx, (), ()>>`.Felix S. Klock II-0/+8
2018-10-29Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-8/+119
2018-10-29Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-4/+40
2018-10-29Added `mir::UserTypeProjection`, a stub for a structure that projects *into* ...Felix S. Klock II-6/+34
2018-10-29Remove `PlaceContext` from API of `mir::Visitor::visit_projection_elem`.Felix S. Klock II-4/+2
2018-10-29Shrink `Statement`.Nicholas Nethercote-1/+5
2018-10-25Auto merge of #55347 - pietroalbini:rollup, r=pietroalbinibors-14/+5
2018-10-25Rollup merge of #55345 - RalfJung:no-null, r=oli-obkPietro Albini-9/+1
2018-10-25Rollup merge of #55340 - RalfJung:operand-docs, r=oli-obkPietro Albini-3/+2
2018-10-25Remove is_nullRalf Jung-9/+1
2018-10-25Operands no longer appear in placesRalf Jung-3/+2
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+8
2018-10-23fix typos in various placesMatthias Krüger-2/+2
2018-10-21Auto merge of #55069 - matthewjasper:explain-free-region-liveness, r=nikomats...bors-0/+2
2018-10-21Auto merge of #55125 - RalfJung:stacked-borrows, r=oli-obkbors-2/+6
2018-10-20Use more accurate `ConstraintCategory`sMatthew Jasper-0/+2
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-4/+4
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-4/+4
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-4/+4
2018-10-19replace `UserTypeAnnotation::AdtDef` with `TypeOf`Niko Matsakis-6/+0
2018-10-19convert `FnDef` to `TypeOf`, which is more generalNiko Matsakis-2/+9
2018-10-18add support for storing extra data in an allocationRalf Jung-2/+6
2018-10-17Auto merge of #54941 - pnkfelix:issue-21232-reject-partial-reinit, r=nikomats...bors-1/+13
2018-10-16Add `Place::base_local` method and improve doc for `Place::local` to clarify ...Felix S. Klock II-1/+13
2018-10-15pacify the mercilous tidyNiko Matsakis-2/+8
2018-10-15introduce a more expressive `UserSubsts`Niko Matsakis-3/+3
2018-10-15introduce `FnDef` and `AdtDef` to `UserTypeAnnotation`Niko Matsakis-1/+5
2018-10-15introduce a `UserTypeAnnotation` enumNiko Matsakis-16/+30
2018-10-12Auto merge of #54942 - matthewjasper:wf-type-annotations, r=nikomatsakisbors-2/+2
2018-10-10Use the span of the user type for `AscribeUserType`Matthew Jasper-2/+2
2018-10-10typos and spacesRalf Jung-2/+2
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-42/+90
2018-10-09Auto merge of #54762 - RalfJung:miri-validate, r=oli-obkbors-1/+7
2018-10-09miri engine: also check return type before calling functionRalf Jung-1/+7
2018-10-09Auto merge of #54757 - nikomatsakis:nll-issue-54573-user-annot, r=pnkfelixbors-3/+3
2018-10-09Auto merge of #54798 - matthewjasper:free-region-closure-errors, r=nikomatsakisbors-2/+42
2018-10-08do not skip renumbering the place in place-type-ascriptionsNiko Matsakis-3/+3
2018-10-06Improve closure region bound errorsMatthew Jasper-2/+5
2018-10-06Move ConstraintCategory to rustc::mirMatthew Jasper-0/+37
2018-10-05Add doc comment explaining what `BlockTailInfo` is.Felix S. Klock II-0/+8
2018-10-05Add flag to `mir::LocalDecl` to track whether its a temp from some subexpr a ...Felix S. Klock II-3/+35
2018-10-04Auto merge of #54666 - matthewjasper:mir-function-spans, r=pnkfelixbors-1/+7
2018-10-04Rollup merge of #54788 - ljedrz:cleanup_rustc_mir, r=oli-obkPietro Albini-27/+22
2018-10-03Record whether a Call in MIR corresponds to a call in HIRMatthew Jasper-1/+7
2018-10-03A handful of cleanups for rustc/mirljedrz-27/+22
2018-10-03Auto merge of #54720 - davidtwco:issue-51191, r=nikomatsakisbors-7/+30
2018-10-02Improve implicit self mutability suggestions.David Wood-7/+30
2018-10-01Auto merge of #54693 - RalfJung:ctfe-scalar-pair-undef, r=oli-obkbors-102/+12