summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2024-10-11remove outdated FIXMEslcnr-3/+0
2024-10-10impossible obligations check fast pathlcnr-0/+8
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-1/+1
2024-07-09exhaustively destructure external constraintslcnr-3/+11
2024-06-25Rename tcx to cxMichael Goulet-6/+6
2024-06-24Replace Deref bounds on Interner in favor of a SliceLike traitMichael Goulet-1/+1
2024-06-21Rename a bunch of thingsMichael Goulet-9/+9
2024-06-18Explicitly import tracing macrosMichael Goulet-3/+3
2024-06-18Uplift the new trait solverMichael Goulet-0/+305