summary refs log tree commit diff
path: root/src/librustc/mir/mod.rs
AgeCommit message (Expand)AuthorLines
2018-09-10propagate user-ascribes types down onto resulting bindingsNiko Matsakis-0/+9
2018-09-10generalize `AscribeUserType` to handle sub or super typeNiko Matsakis-6/+11
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-17/+9
2018-09-08Auto merge of #53909 - mikhail-m1:53643, r=nikomatsakisbors-19/+19
2018-09-07remove all references to `private` from outside the macroNiko Matsakis-5/+3
2018-09-07change from tuple struct to brace structNiko Matsakis-2/+2
2018-09-07change syntax of `newtype_index` to look like a struct declNiko Matsakis-9/+23
2018-09-06Skip a shared borrow of a immutable local variablesMikhail Modin-19/+19
2018-09-04Breaking change upgradesMark Rousskov-4/+4
2018-09-01Auto merge of #53604 - oli-obk:min_const_fn, r=Centril,varkorbors-0/+2
2018-08-31Implement the `min_const_fn` feature gateOliver Schneider-0/+2
2018-08-30Run rustfmtSantiago Pastorino-33/+46
2018-08-30Make move out computation lazySantiago Pastorino-0/+22
2018-08-27implement liveness tracing, remove old liveness systemNiko Matsakis-2/+10
2018-08-24Auto merge of #53225 - nikomatsakis:nll-type-annot, r=pnkfelixbors-5/+28
2018-08-24support user-given types in adtsNiko Matsakis-5/+12
2018-08-24add a `user_ty` annotation to `Constant`Niko Matsakis-0/+16
2018-08-24Rollup merge of #53563 - matthiaskrgr:String, r=varkorkennytm-1/+1
2018-08-23use String::new() instead of String::from(""), "".to_string(), "".to_owned() ...Matthias Krüger-1/+1
2018-08-23Use optimized SmallVec implementationIgor Gutorov-1/+1
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-8/+8
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-2/+2
2018-08-22Rename ty::TyVariants to ty::TyKindvarkor-1/+1
2018-08-22miri/CTFE refactorRalf Jung-21/+15
2018-08-22Auto merge of #50912 - varkor:exhaustive-integer-matching, r=arielb1bors-1/+1
2018-08-19Fix typos found by codespell.Matthias Krüger-2/+2
2018-08-16Refactor after miri api changesvarkor-1/+0
2018-08-16Fix print_miri_value for signed integersvarkor-1/+2
2018-08-15Suggest match ergonomics, not `ref`/`ref mut`ashtneoi-1/+6
2018-08-15Fix some random stuffashtneoi-5/+5
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-40/+53
2018-07-27Prefer to_string() to format!()ljedrz-1/+1
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-46/+8
2018-07-20MIR changes to improve NLL cannot mutate errorsMatthew Jasper-0/+3
2018-07-13Auto merge of #51987 - nikomatsakis:nll-region-infer-scc, r=pnkfelixbors-6/+14
2018-07-13nit: `use graph::{self, ..}`Niko Matsakis-2/+1
2018-07-12rename `control_flow_graph` to `graph`Niko Matsakis-10/+10
2018-07-12deconstruct the `ControlFlowGraph` trait into more granular traitsNiko Matsakis-4/+13
2018-07-11Rollup merge of #52207 - RalfJung:unsafety-errors, r=estebankMark Rousskov-0/+1
2018-07-11Auto merge of #51702 - ecstatic-morse:infinite-loop-detection, r=oli-obkbors-1/+1
2018-07-10improve error message shown for unsafe operations: explain why undefined beha...Ralf Jung-0/+1
2018-07-04Derive Eq and Hash for types used in Miri's evaluatorDylan MacKenzie-1/+1
2018-07-03add `assert_crate_local` method to `ClearCrossCrate`Niko Matsakis-0/+9
2018-07-03store the `HirId` of the upvarNiko Matsakis-1/+4
2018-07-01Make causal tracking lazySantiago Pastorino-0/+29
2018-06-29Auto merge of #51729 - matthewjasper:move-errors, r=nikomatsakisbors-9/+39
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-11/+5
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-27Group move errors before reporting, add suggestionsMatthew Jasper-9/+39
2018-06-24Update broken rustc-guide linksAlex Kitchens-1/+1