about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/lib.rs
AgeCommit message (Collapse)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
This commit adds a lint to prevent the use of rustc_type_ir in random compiler crates, except for type system internals traits, which are explicitly allowed. Moreover, this fixes diagnostic_items() to include the CRATE_OWNER_ID, otherwise rustc_diagnostic_item attribute is ignored on the crate root.
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 ↵Michael Goulet-0/+1
crates
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
It's no longer necessary now that `-Wunreachable_pub` is being passed.
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
Revert <https://github.com/rust-lang/rust/pull/138084> to buy time to consider options that avoids breaking downstream usages of cargo on distributed `rustc-src` artifacts, where such cargo invocations fail due to inability to inherit `lints` from workspace root manifest's `workspace.lints` (this is only valid for the source rust-lang/rust workspace, but not really the distributed `rustc-src` artifacts). This breakage was reported in <https://github.com/rust-lang/rust/issues/138304>. This reverts commit 48caf81484b50dca5a5cebb614899a3df81ca898, reversing changes made to c6662879b27f5161e95f39395e3c9513a7b97028.
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
(Except for `rustc_codegen_cranelift`.) It's no longer necessary now that `unreachable_pub` is in the workspace lints.
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
and make NestedGoals generic
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-0/+1