summary refs log tree commit diff
path: root/src/librustc/ich/impls_mir.rs
AgeCommit message (Expand)AuthorLines
2019-02-21Use normal mutable borrows in MIR match loweringMatthew Jasper-1/+6
2019-02-05move librustc to 2018Mark Mansi-2/+2
2018-12-30Refactor `UserTypeAnnotation`.David Wood-17/+0
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23stabilize min_const_unsafe_fn in 1.33.Mazdak Farrokhzad-1/+0
2018-12-18treat ref-to-raw cast like a reborrow: do a special kind of retagRalf Jung-2/+2
2018-12-07Introduce constraint category for yields.David Wood-0/+1
2018-12-06Auto merge of #55635 - oli-obk:min_const_unsafe_fn, r=nikomatsakisbors-1/+2
2018-12-04Emit feature gate suggestionOliver Scherer-1/+2
2018-12-03Retag needs to know whether this is a 2-phase-reborrowRalf Jung-45/+12
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-3/+0
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-0/+3
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-0/+3
2018-11-06impl_stable_hash_for: support enums and tuple structs with generic parametersRalf Jung-54/+17
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-20/+3
2018-10-26Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-1/+1
2018-10-26Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-0/+1
2018-10-26Added `mir::UserTypeProjection`, a stub for a structure that projects *into* ...Felix S. Klock II-0/+2
2018-10-20Use more accurate `ConstraintCategory`sMatthew Jasper-0/+2
2018-10-19replace `UserTypeAnnotation::AdtDef` with `TypeOf`Niko Matsakis-4/+0
2018-10-19convert `FnDef` to `TypeOf`, which is more generalNiko Matsakis-1/+1
2018-10-15introduce `FnDef` and `AdtDef` to `UserTypeAnnotation`Niko Matsakis-0/+8
2018-10-15introduce a `UserTypeAnnotation` enumNiko Matsakis-0/+13
2018-10-09Auto merge of #54798 - matthewjasper:free-region-closure-errors, r=nikomatsakisbors-1/+17
2018-10-06Move ConstraintCategory to rustc::mirMatthew Jasper-1/+17
2018-10-05Add flag to `mir::LocalDecl` to track whether its a temp from some subexpr a ...Felix S. Klock II-0/+1
2018-10-03Record whether a Call in MIR corresponds to a call in HIRMatthew Jasper-1/+3
2018-09-24Add more fake borrows to matchesMatthew Jasper-1/+1
2018-09-24Add "Shallow" borrow kindMatthew Jasper-0/+1
2018-09-18Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake readRemy Rakic-1/+4
2018-09-10propagate user-ascribes types down onto resulting bindingsNiko Matsakis-0/+1
2018-09-10generalize `AscribeUserType` to handle sub or super typeNiko Matsakis-1/+2
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-2/+2
2018-09-07make field always private, add `From` implsNiko Matsakis-5/+0
2018-08-31Implement the `min_const_fn` feature gateOliver Schneider-0/+1
2018-08-24support user-given types in adtsNiko Matsakis-1/+2
2018-08-24add a `user_ty` annotation to `Constant`Niko Matsakis-1/+1
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-16/+3
2018-07-10improve error message shown for unsafe operations: explain why undefined beha...Ralf Jung-1/+1
2018-07-03store the `HirId` of the upvarNiko Matsakis-1/+1
2018-05-30rustc: rename mir::LocalDecl's syntactic_source_info to source_info.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: turn mir::LocalDecl's visibility_source_info into a SourceScope.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: rename mir::LocalDecl's source_info to visibility_source_info.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: turn mir::LocalDecl's syntactic_scope into a SourceInfo.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: rename mir::SourceScopeInfo to mir::SourceScopeLocalData.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: rename mir::VisibilityScope to mir::SourceScope.Eduard-Mihai Burtescu-3/+3
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-0/+3
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-2/+1
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-1/+2
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-21/+0