summary refs log tree commit diff
path: root/src/librustc/ich/impls_mir.rs
AgeCommit message (Expand)AuthorLines
2018-10-29Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-1/+1
2018-10-29Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-0/+1
2018-10-29Added `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
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-15permit `ClosureOutlivesRequirement` to constrain regions or typesNiko Matsakis-3/+18
2017-12-08incr.comp.: Hash spans unconditionally for full accuracy.Michael Woerister-41/+4
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+12
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-22/+22
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 23:05:18 +0000