summary refs log tree commit diff
path: root/tests/ui/traits/new-solver
AgeCommit message (Expand)AuthorLines
2023-02-27Commit some new solver testsMichael Goulet-0/+28
2023-02-24Comments, another testMichael Goulet-0/+46
2023-02-24Make higher-ranked projections in object types work in new solverMichael Goulet-0/+17
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-0/+39
2023-02-18Check that built-in callable types validate their output type is `Sized` (in ...Michael Goulet-0/+35
2023-02-11Auto merge of #107919 - Dylan-DPC:rollup-fkl9swa, r=Dylan-DPCbors-0/+71
2023-02-10Add a couple random projection testsMichael Goulet-0/+71
2023-02-10Add testsBoxy-0/+188
2023-02-10Multiple candidates with same response is not ambiguousMichael Goulet-12/+1
2023-02-09Rollup merge of #107815 - compiler-errors:new-solver-no-auto-if-impl, r=lcnrDylan DPC-0/+8
2023-02-09Disqualify auto-trait builtin impl in new solver if impl existsMichael Goulet-0/+8
2023-02-09Implement a dummy drop-in-favor-of for the new solverMichael Goulet-9/+32
2023-02-09Use elaborated item bounds for alias typesMichael Goulet-0/+12
2023-02-08add (currently ICEing) testlcnr-0/+43
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-36/+38
2023-01-30Trait upcasting support in new solverMichael Goulet-0/+41
2023-01-30Implement unsizing in the new trait solverMichael Goulet-0/+25
2023-01-26Implement Generator and FutureMichael Goulet-0/+132
2023-01-24implement builtin candidateBoxy-0/+23
2023-01-22fn-trait-closure test now pass on new solverSantiago Pastorino-8/+1
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-0/+28
2023-01-19trait solver: PointerSizedMichael Goulet-0/+36