Age | Commit message (Expand) | Author |
---|---|---|
2023-08-26 | Account for `Weak` alias kinds when adding more targetted obligation | Esteban Küber |
2023-08-10 | Unlock trailing where-clauses for lazy type aliases | León Orell Valerian Liehr |
2023-08-08 | Rollup merge of #114594 - compiler-errors:new-solver-resolve-aliases, r=lcnr | Matthias Krüger |
2023-08-07 | Resolve target type of coercion | Michael Goulet |
2023-08-07 | Store the laziness of type aliases in the DefKind | León Orell Valerian Liehr |
2023-08-03 | Compute variances for lazy type aliases | León Orell Valerian Liehr |
2023-07-30 | Check lazy type aliases for well-formedness | León Orell Valerian Liehr |