| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-27 | Revert "Make ClosureOutlivesRequirement not rely on an unresolved type" | Michael Goulet | -1/+1 |
| 2022-10-23 | Split phase change from `MirPass` | Jakob Degen | -5/+34 |
| 2022-10-19 | Make ClosureOutlivesRequirement not rely on an unresolved type | Michael Goulet | -1/+1 |
| 2022-10-17 | mir constants: type traversing bye bye | lcnr | -4/+4 |
| 2022-10-14 | Make dyn* cast into a coercion | Michael Goulet | -2/+2 |
| 2022-10-12 | Use `tidy-alphabetical` in the compiler | Nilstrieb | -1/+2 |
| 2022-10-08 | Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obk | Matthias Krüger | -1/+8 |
| 2022-10-06 | Remove `mir::CastKind::Misc` | ouz-a | -1/+8 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -4/+4 |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -11/+14 |
| 2022-09-22 | address review | b-naber | -5/+5 |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -5/+29 |
| 2022-09-20 | Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebank | bors | -1/+7 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+1 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -24/+60 |
| 2022-09-16 | Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r... | Oli Scherer | -1/+7 |
| 2022-09-15 | nits | b-naber | -0/+1 |
| 2022-09-15 | derive TypeVisitable and TypeFoldable for mir types | Oli Scherer | -0/+1 |
| 2022-09-15 | Derive TypeFoldable and TypeVisitable for mir::PlaceElement | Oli Scherer | -2/+0 |
| 2022-09-14 | Auto merge of #101212 - eholk:dyn-star, r=compiler-errors | bors | -0/+1 |
| 2022-09-14 | address review again | b-naber | -14/+5 |
| 2022-09-13 | Only keep one version of ImplicitSelfKind. | Camille GILLOT | -17/+1 |
| 2022-09-13 | address review | b-naber | -1/+1 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -13/+57 |
| 2022-09-12 | dyn* through more typechecking and MIR | Eric Holk | -0/+1 |
| 2022-09-12 | Rollup merge of #100767 - kadiwa4:escape_ascii, r=jackh726 | Dylan DPC | -9/+1 |
| 2022-09-07 | Auto merge of #101522 - oli-obk:miriup, r=oli-obk | bors | -1/+3 |
| 2022-09-07 | Update miri submodule | Oli Scherer | -1/+3 |
| 2022-09-07 | Auto merge of #98332 - oli-obk:assume, r=wesleywiser | bors | -7/+1 |
| 2022-09-06 | Generalize the Assume intrinsic statement to a general Intrinsic statement | Oli Scherer | -8/+1 |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -0/+1 |
| 2022-09-06 | Add more size assertions for MIR types. | Nicholas Nethercote | -8/+14 |
| 2022-09-01 | tracing::instrument cleanup | Oli Scherer | -14/+8 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 |
| 2022-08-30 | Auto merge of #99102 - JakobDegen:reorder-generators, r=oli-obk | bors | -1/+13 |
| 2022-08-30 | Refactor MIR phases | Jakob Degen | -1/+13 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -5/+5 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -1/+1 |
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -4/+4 |
| 2022-08-26 | Replace `Body::basic_blocks()` with field access | Tomasz Miąsko | -6/+1 |
| 2022-08-25 | Inline trivial `From<Local> for Place<'_>` impl | Tomasz Miąsko | -0/+1 |
| 2022-08-19 | use <[u8]>::escape_ascii instead of core::ascii::escape_default | KaDiWa | -9/+1 |
| 2022-08-03 | Add bound_impl_subject and bound_return_ty | Jack Huey | -0/+6 |
| 2022-07-30 | Use LocalDefId for closures more | Cameron Steffen | -40/+32 |
| 2022-07-24 | make sure has_deref is correct | ouz-a | -0/+2 |
| 2022-07-22 | has_deref: simpler comparison, ty fix | ouz-a | -10/+2 |
| 2022-07-22 | simplify more, ret_deref -> has_deref | ouz-a | -6/+6 |
| 2022-07-22 | simplify some code that depend on Deref | ouz-a | -0/+20 |
| 2022-07-22 | Rollup merge of #98868 - tmiasko:unreachable-coverage, r=wesleywiser | Dylan DPC | -0/+16 |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -7/+1 |
