| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-04-01 | slighty simplify a few boolean expressions (clippy::nonminimal_bool) | Matthias Krüger | -2/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -1/+1 |
| 2023-03-25 | Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT` | Scott McMurray | -2/+2 |
| 2023-03-22 | Add `CastKind::Transmute` to MIR | Scott McMurray | -0/+27 |
| 2023-03-15 | Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiasko | bors | -9/+0 |
| 2023-03-09 | Introduce a no-op PlaceMention statement for `let _ =`. | Camille GILLOT | -0/+8 |
| 2023-03-08 | Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiasko | Matthias Krüger | -12/+0 |
| 2023-03-07 | Remove DropAndReplace terminator | Giacomo Pasini | -12/+0 |
| 2023-03-05 | Check for free regions in MIR validation | Ben Kimock | -0/+11 |
| 2023-02-27 | Implement checked Shl/Shr at MIR building. | Camille GILLOT | -9/+0 |
| 2023-02-27 | Auto merge of #108175 - cjgillot:validate-storage, r=tmiasko | bors | -2/+20 |
| 2023-02-25 | Explain that this is UB catching instead of malformed MIR. | Camille GILLOT | -0/+7 |
| 2023-02-25 | MIR-Validate StorageLive. | Camille GILLOT | -2/+13 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -1/+1 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -1/+1 |
| 2023-02-10 | revert #107074 | lcnr | -1/+10 |
| 2023-02-02 | Stop deaggregating enums in MIR. | Camille GILLOT | -17/+5 |
| 2023-01-30 | Replace some `_ == _ || _ == _`s with `matches!(_, _ | _)`s | Maybe Waffle | -1/+1 |
| 2023-01-29 | Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obk | bors | -0/+1 |
| 2023-01-27 | Remember where a type was kept in MIR. | Camille GILLOT | -2/+2 |
| 2023-01-23 | Create stable metric to measure long computation in Const Eval | Bryan Garza | -0/+1 |
| 2023-01-19 | remove unnecessary check for opaque types | lcnr | -6/+1 |
| 2023-01-16 | Avoid trivial checks on cleanup control flow in MIR validator | Jakob Degen | -4/+11 |
| 2023-01-16 | Add cycle checking to cleanup control flow validation | Jakob Degen | -18/+47 |
| 2023-01-16 | Document wf constraints on control flow in cleanup blocks | Jakob Degen | -5/+57 |
| 2022-12-21 | Forbid `RetagKind::TwoPhase` as well | Jakob Degen | -2/+2 |
| 2022-12-21 | Clarify that raw retags are not permitted in Mir | Jakob Degen | -3/+6 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 |
| 2022-12-14 | Auto merge of #104986 - compiler-errors:opaques, r=oli-obk | bors | -2/+2 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -1/+1 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 |
| 2022-12-13 | Don't require owned data in `MaybeStorageLive` | Jakob Degen | -2/+2 |
| 2022-12-09 | Remove unneeded field from `SwitchTargets` | Jakob Degen | -11/+2 |
| 2022-12-08 | validate: use the correct reveal during opts | lcnr | -1/+5 |
| 2022-11-25 | Make the ICEs in the mir typechecker have more spans helpful | Oli Scherer | -0/+1 |
| 2022-11-25 | More manual formatting | Oli Scherer | -5/+5 |
| 2022-11-15 | mv utility methods into separate module | lcnr | -53/+1 |
| 2022-11-15 | nll: correctly deal with bivariance | lcnr | -44/+41 |
| 2022-10-27 | Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functions | Maybe Waffle | -2/+1 |
| 2022-10-25 | Rollup merge of #103122 - ouz-a:mir-technical-debt, r=oli-obk | Dylan DPC | -5/+20 |
| 2022-10-23 | remove misc_cast and validate types | ouz-a | -5/+20 |
| 2022-10-15 | Surround type with backticks | Gimgim | -1/+1 |
| 2022-10-08 | Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obk | Matthias Krüger | -8/+8 |
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -1/+1 |
| 2022-10-06 | Remove `mir::CastKind::Misc` | ouz-a | -8/+8 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+0 |
| 2022-09-13 | Address code review comments | Eric Holk | -1/+1 |
| 2022-09-12 | dyn* through more typechecking and MIR | Eric Holk | -0/+3 |
