summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2025-03-05change definitely non-productive cycles to errorlcnr-1/+3
2025-01-30introduce `ty::Value`Lukas Markeffsky-4/+2
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-23/+19
2024-12-18update new solver candidate assemblylcnr-10/+15
2024-11-28support revealing defined opaque post borrowcklcnr-1/+14
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-2/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+1
2024-10-24Remove associated type based effects logicMichael Goulet-6/+0
2024-10-19Fix transmute goalMichael Goulet-0/+31
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-1/+0
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 23:05:17 +0000