summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/lib.rs
AgeCommit message (Expand)AuthorLines
2024-10-15update bootstrap configsJosh Stone-1/+1
2024-10-10Uplift super_combineMichael Goulet-1/+0
2024-09-01Deny imports of rustc_type_ir::inherent outside of type ir + new trait solverMichael Goulet-0/+1
2024-08-29Add `warn(unreachable_pub)` to `rustc_next_trait_solver`.Nicholas Nethercote-0/+4
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+1
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-0/+1
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-18Make rustc_next_trait_solver nightly againMichael Goulet-2/+0
2024-06-18Explicitly import tracing macrosMichael Goulet-4/+0
2024-06-18Uplift the new trait solverMichael Goulet-0/+6
2024-06-18SolverDelegateMichael Goulet-0/+1
2024-06-16Add a noteMichael Goulet-0/+6
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-0/+1
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-0/+1
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-0/+1