| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-29 | add tests | lcnr | -0/+39 | |
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -25/+89 | |
| 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 | |
