| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -0/+1 | |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be ↵ | Oli Scherer | -2/+2 | |
| constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely | ||||
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 | |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register ↵ | Oli Scherer | -0/+22 | |
| hidden types for them | ||||
