summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver
AgeCommit message (Expand)AuthorLines
2024-03-04Allow a way to add constructors for rustc_type_ir typesMichael Goulet-3/+4
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-8/+30
2024-02-13Move visitable bounds up into internerMichael Goulet-8/+2
2024-02-13Add assertions back to canonicalizerMichael Goulet-3/+10
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-1/+2
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-15Opportunistically resolve region var in canonicalizerMichael Goulet-7/+1
2023-12-08Make it not depend on nightly conditionallyMichael Goulet-1/+7
2023-12-08FeedbackMichael Goulet-99/+96
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-0/+433