about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/lib.rs
AgeCommit message (Expand)AuthorLines
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-1/+1
2025-07-01Update `cfg(bootstrap)`Josh Stone-1/+1
2025-06-18Implement lint against direct uses of rustc_type_ir in compiler cratesRomain Perier-0/+1
2025-06-13Uplift BoundVarReplacerMichael Goulet-0/+1
2025-04-09update cfgsBoxy-1/+1
2025-03-26Implement lint against using Interner and InferCtxtLike in random compiler cr...Michael Goulet-0/+1
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 15:04:01 +0000