| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -7/+21 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -0/+25 |
| 2025-04-10 | replace `//@ compile-flags: --edition` with `//@ edition` | Pietro Albini | -2/+3 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -16/+63 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -11/+18 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -0/+100 |
| 2024-11-28 | move tests into subdir | lcnr | -0/+73 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |