summary refs log tree commit diff
path: root/src/librustc/ich/impls_mir.rs
AgeCommit message (Expand)AuthorLines
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
2018-04-28Track unused mutable variables across closuresKeith Yeung-0/+5
2018-03-22UserAssertTy can handle inference variables.David Wood-2/+2
2018-03-22Added UserAssertTy statement.David Wood-0/+4
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-49/+49
2018-03-08Prepare for using miri in transAlexander Regueiro-0/+2
2018-02-09Auto merge of #47802 - bobtwinkles:loop_false_edge, r=nikomatsakisbors-0/+4
2018-02-08Encode (in MIR) whether borrows are explicit in source or arise due to autoref.Felix S. Klock II-1/+19
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+4
2017-12-24Auto merge of #46896 - arielb1:shadow-scope, r=eddybbors-1/+1
2017-12-21fix debuginfo scoping of let-statementsAriel Ben-Yehuda-1/+1