| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-06-08 | Do not promote union field accesses | Oliver Schneider | -2/+8 | |
| 2018-05-24 | Always mark unstable const fn as not const | Oliver Schneider | -7/+2 | |
| 2018-05-24 | Enforce stability of const fn in promoteds | Oliver Schneider | -12/+19 | |
| 2018-05-05 | add `Location::START` const | Niko Matsakis | -2/+2 | |
| 2018-05-02 | Auto merge of #50282 - fitzgen:run-more-passes-on-constant-mir, r=nikomatsakis | bors | -48/+2 | |
| Run more passes on constant mir Not very familiar with this code, but everything seems to be working! r? @eddyb | ||||
| 2018-05-02 | Auto merge of #50278 - eddyb:mir-succ-iter, r=nikomatsakis | bors | -7/+7 | |
| rustc: return iterators from Terminator(Kind)::successors(_mut). Minor cleanup (and potentially speedup) prompted by @nnethercote's `SmallVec` experiments. This PR assumes `.count()` and `.nth(i)` on `iter::Chain<option::IntoIter, slice::Iter(Mut)>` are `O(1)`, but otherwise all of the uses appear to immediately iterate through the successors. r? @nikomatsakis | ||||
| 2018-05-01 | rustc: return impl Iterator from Terminator(Kind)::successors(_mut). | Eduard-Mihai Burtescu | -7/+7 | |
| 2018-04-30 | Unify MIR assert messages and const eval errors | Oliver Schneider | -7/+14 | |
| 2018-04-30 | Merge ConstMathError into EvalErrorKind | Oliver Schneider | -1/+1 | |
| 2018-04-27 | Auto merge of #50102 - Zoxc:query-nomacro, r=michaelwoerister | bors | -1/+1 | |
| Move query code outside macros and store query jobs separately from query results Based on https://github.com/rust-lang/rust/pull/50067 r? @michaelwoerister | ||||
| 2018-04-27 | mir: Deaggregate constant MIR | Nick Fitzgerald | -20/+1 | |
| Appears to work now that miri has merged. | ||||
| 2018-04-27 | mir: Run drop elaboration on constant MIR | Nick Fitzgerald | -8/+0 | |
| Seems to Just Work since miri merged. | ||||
| 2018-04-27 | mir: Run copy propagation on constant mir | Nick Fitzgerald | -20/+1 | |
| Now that miri is merged, this seems to Just Work! | ||||
| 2018-04-27 | Auto merge of #50097 - glandium:box_free, r=nikomatsakis | bors | -63/+2 | |
| Partial future-proofing for Box<T, A> In some ways, this is similar to @eddyb's PR #47043 that went stale, but doesn't cover everything. Notably, this still leaves Box internalized as a pointer in places, so practically speaking, only ZSTs can be practically added to the Box type with the changes here (the compiler ICEs otherwise). The Box type is not changed here, that's left for the future because I want to test that further first, but this puts things in place in a way that hopefully will make things easier. | ||||
| 2018-04-27 | Move query functions out from the define_maps! macro | John Kåre Alsaker | -1/+1 | |
| 2018-04-27 | Rename InternedString to LocalInternedString and introduce a new thread-safe ↵ | John Kåre Alsaker | -7/+7 | |
| InternedString | ||||
| 2018-04-26 | Auto merge of #50253 - nikomatsakis:regressions-2018-04-26, r=eddyb | bors | -1/+1 | |
| drop elaboration should reveal all This used to happen implicitly through the normalization function; but we now keep the param-env as is, which seems less surprising. cc #49685 r? @eddyb | ||||
| 2018-04-26 | use `reveal_all` during drop elaboration | Niko Matsakis | -1/+1 | |
| This used to happen by default as part of the normalization routine that was being used. | ||||
| 2018-04-26 | rustc_target: move in syntax::abi and flip dependency. | Irina Popa | -3/+3 | |
| 2018-04-26 | rustc_target: move LayoutOf's type parameter to an associated type. | Irina Popa | -1/+2 | |
| 2018-04-23 | Auto merge of #49779 - oli-obk:const_err_regression, r=eddyb | bors | -2/+2 | |
| Don't report compile-time errors for promoteds Fixes the regression part of #49760, the missing warnings still are missing r? @eddyb | ||||
| 2018-04-20 | Pass the right type to box_free() in MIR | Mike Hommey | -63/+2 | |
| Currently, MIR just passes the raw Box to box_free(), which happens to work because practically, it's the same thing. But that might not be true in the future, with Box<T, A: Alloc>. The MIR inline pass actually fixes up the argument while inlining box_free, but this is not enabled by default and doesn't necessarily happen (the inline threshold needs to be passed). This change effectively moves what the MIR inline pass does to the elaborate_drops pass, so that box_free() is passed the raw pointer instead of the Box. | ||||
| 2018-04-18 | Clarified E0015 message, r=estebank | krk | -2/+2 | |
| 2018-04-15 | Only warn on erroneous promoted constants | Oliver Schneider | -2/+2 | |
| 2018-03-27 | Auto merge of #49202 - csmoe:trait_engine, r=nikomatsakis | bors | -1/+1 | |
| Introduce trait engine address #48895 step 1: introduce trait engine | ||||
| 2018-03-25 | Rollup merge of #49194 - Zoxc:unsafe-generator, r=cramertj | kennytm | -10/+2 | |
| Make resuming generators unsafe instead of the creation of immovable generators cc @withoutboats Fixes #47787 | ||||
| 2018-03-23 | import trait engine to typeck | csmoe | -1/+1 | |
| 2018-03-22 | Added initial processing of UserAssertTy statements. | David Wood | -17/+25 | |
| 2018-03-22 | Killing UserAssertTy in CleanupPostBorrowck pass. | David Wood | -17/+46 | |
| 2018-03-22 | Added UserAssertTy statement. | David Wood | -0/+6 | |
| 2018-03-21 | Make resuming generators unsafe instead of the creation of immovable ↵ | John Kåre Alsaker | -10/+2 | |
| generators. Fixes #47787 | ||||
| 2018-03-14 | Add note about fallback to `!: !Trait` error | Andrew Cann | -1/+1 | |
| 2018-03-14 | remove defaulting to unit | Andrew Cann | -1/+1 | |
| Types will no longer default to `()`, instead always defaulting to `!`. This disables the associated warning and removes the flag from TyTuple | ||||
| 2018-03-13 | `trans_apply_param_substs` => `subst_and_normalize_erasing_regions` | Niko Matsakis | -27/+7 | |
| Consolidate `trans_apply_param_substs` and `trans_apply_param_substs_env`. Also remove `trans_impl_self_ty` | ||||
| 2018-03-13 | refactor `ParamEnv::empty(Reveal)` into two distinct methods | Niko Matsakis | -2/+2 | |
| - `ParamEnv::empty()` -- does not reveal all, good for typeck - `ParamEnv::reveal_all()` -- does, good for trans - `param_env.with_reveal_all()` -- converts an existing parameter environment | ||||
| 2018-03-08 | simplify constant value pair field access | Oliver Schneider | -6/+1 | |
| 2018-03-08 | Unify the const folding errors | Oliver Schneider | -31/+111 | |
| before they differed depending on whether optimizations were on or not | ||||
| 2018-03-08 | Regenerate tests | Oliver Schneider | -1/+1 | |
| 2018-03-08 | Generator assertions are unconditionally triggered | Oliver Schneider | -4/+6 | |
| 2018-03-08 | Don't use the undefined bytes of PrimVal::Bytes | Oliver Schneider | -3/+2 | |
| 2018-03-08 | Rebase fallout | Oliver Schneider | -2/+2 | |
| 2018-03-08 | Unregress error spans in constant errors | Oliver Schneider | -1/+1 | |
| 2018-03-08 | Tidy fix | Oliver Schneider | -4/+2 | |
| 2018-03-08 | Update tests | Oliver Schneider | -1/+1 | |
| 2018-03-08 | Report all errors other than those about insufficient type information | Oliver Schneider | -2/+4 | |
| 2018-03-08 | Compute the ParamEnv only once and use it to call tcx.const_eval | Oliver Schneider | -9/+25 | |
| 2018-03-08 | Can only const prop temporaries | Oliver Schneider | -1/+6 | |
| Variables might error in branches that are not reachable due to the variable value. | ||||
| 2018-03-08 | Simplify const propagator by removing unused code paths | Oliver Schneider | -71/+52 | |
| 2018-03-08 | Rename OptimizationFinder and don't propagate any borrows | Oliver Schneider | -38/+12 | |
| 2018-03-08 | Simplify const prop checks through PlaceContext | Oliver Schneider | -53/+51 | |
