| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2022-07-20 | Auto merge of #99472 - RalfJung:provenance, r=oli-obk | bors | -35/+35 |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -10/+0 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -35/+35 |
| 2022-07-18 | interpret: make some large types not Copy | Ralf Jung | -4/+4 |
| 2022-07-16 | Rollup merge of #99259 - RalfJung:visit-a-place, r=oli-obk | Matthias Krüger | -7/+5 |
| 2022-07-15 | interpret/visitor: support visiting with a PlaceTy | Ralf Jung | -7/+5 |
| 2022-07-15 | Introduce opaque type to hidden type projection | Oli Scherer | -0/+10 |
| 2022-07-11 | interpret: refactor projection handling code | Ralf Jung | -0/+393 |
