| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-12-18 | resolve FIXME | lcnr | -5/+0 |
| 2024-06-05 | bivariant alias: set `has_unconstrained_ty_var` | lcnr | -0/+20 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -0/+120 |
| 2024-03-18 | move tests | lcnr | -0/+31 |
| 2024-02-26 | update tests | lcnr | -44/+51 |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -2/+2 |
| 2024-02-17 | move ty var instantiation into the generalize module | lcnr | -2/+2 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -8/+8 |
| 2024-02-09 | hide impls if trait bound is proven from env | lcnr | -5/+3 |
| 2023-12-14 | Unconditionally register alias-relate in projection goal | Michael Goulet | -2/+12 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -0/+206 |
