| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -1/+1 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -2/+1 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -0/+1 |
| 2024-12-04 | Avoid `opaque type not constrained` errors in the presence of other errors | Oli Scherer | -1/+1 |
| 2024-06-12 | Require any function with a tait in its signature to actually constrain a hid... | Oli Scherer | -1/+2 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -0/+1 |
| 2024-02-26 | update tests | lcnr | -1/+1 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -1/+1 |
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 |
| 2023-11-09 | update tests | lcnr | -2/+5 |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+16 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |