| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -0/+1 |
| 2024-11-23 | remove remaining references to `Reveal` | lcnr | -1/+1 |
| 2024-07-24 | Do not assemble candidates for auto traits of opaque types in their defining ... | Oli Scherer | -0/+1 |
| 2024-07-24 | Do not try to reveal hidden types when trying to prove Freeze in the defining... | Oli Scherer | -1/+0 |
| 2024-03-12 | chore: remove repetitive words | pavedroad | -1/+1 |
| 2024-01-19 | Always use RevealAll for const eval queries | Oli Scherer | -0/+16 |
