| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -3/+3 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -1/+1 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -0/+9 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |