| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-28 | expand: Micro-optimize prelude injection | Vadim Petrochenkov | -2/+2 |
| 2025-04-16 | Explicitly annotate edition for `unpretty=expanded` and `unpretty=hir` tests | Lukas Wirth | -0/+1 |
| 2025-02-09 | rename the trait to validity and place a feature gate afront | Ding Xiang Fei | -3/+3 |
| 2025-02-09 | introduce CoercePointeeWellformed for coherence checks at typeck stage | Ding Xiang Fei | -0/+13 |
| 2024-10-24 | s/SmartPointer/CoerceReferent/g | Ding Xiang Fei | -0/+59 |
