| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-26 | allow method calls on opaques | lcnr | -4/+2 | |
| 2024-06-11 | Also test under next solver | Oli Scherer | -1/+5 | |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of ↵ | Oli Scherer | -3/+5 | |
| opaque types." This reverts commit 29a630eb72ffb94c3708947afae1e948ad3cb189. | ||||
| 2024-06-11 | Add regression test | Oli Scherer | -0/+18 | |
