summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/fulfill.rs
AgeCommit message (Expand)AuthorLines
2023-01-19swap Ambiguity and Unimplemented in new trait engineMichael Goulet-2/+4
2023-01-18remove assembly context and impl a bit morelcnr-21/+6
2023-01-18instantiate canonical vars eagerlylcnr-5/+21
2023-01-12Implement dummy query responses and a jank instantiateMichael Goulet-1/+1
2023-01-11Report fulfillment errors in new trait solverMichael Goulet-11/+25
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+92