about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-15Add the core logic in old and new solverstiif-0/+14
2025-06-27Rollup merge of #142806 - compiler-errors:norm-ct-has-ty, r=lcnr,BoxyUwUMatthias Krüger-0/+1
2025-06-25Normalize before computing ConstArgHasType goalMichael Goulet-0/+1
2025-06-23Uplift find_const_ty_from_envMichael Goulet-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-2/+2
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-0/+19
2025-05-23yeet `CanonicalVarInfo`lcnr-1/+1
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-10/+12
2025-04-26Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errorsMatthias Krüger-1/+1
2025-04-26convert some `GenericArg` to `Term`lcnr-1/+1
2025-04-25handle specialization in the new trait solverlcnr-0/+11
2025-04-23MoreMichael Goulet-4/+1
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-1/+4
2025-04-03add `TypingMode::Borrowck`lcnr-0/+1
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-01-13 18:15:05 +0000