summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly.rs
AgeCommit message (Expand)AuthorLines
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-1/+18
2023-01-19trait solver: PointerSizedMichael Goulet-0/+7
2023-01-19Assert goal is fully normalized during assembleMichael Goulet-1/+4
2023-01-19HACK: self ty ambiguity hackMichael Goulet-1/+11
2023-01-18Sized, Copy/CloneMichael Goulet-0/+10
2023-01-18Auto and alias traitsMichael Goulet-6/+19
2023-01-18Assemble object bound candidatesMichael Goulet-0/+52
2023-01-18Canonicalize trait solver response inside probeMichael Goulet-14/+8
2023-01-18remove assembly context and impl a bit morelcnr-48/+206
2023-01-18instantiate canonical vars eagerlylcnr-51/+27
2023-01-12Implement dummy query responses and a jank instantiateMichael Goulet-7/+4
2022-12-20dedup assemblylcnr-0/+150