| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-18 | add tests, silence type annotations needed errors for opaques | lcnr | -14/+210 | |
| 2025-09-18 | support calls on opaque types :< | lcnr | -0/+327 | |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -0/+283 | |
| 2025-09-06 | identity uses are ok, even if there are no defining uses | lcnr | -0/+61 | |
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -30/+57 | |
| support non-defining uses in closures | ||||
| 2025-08-20 | handle opaque types before region inference | lcnr | -6/+2 | |
| 2025-05-02 | Add a regression test | moxian | -0/+29 | |
| for #140545 | ||||
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -0/+29 | |
