about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/search_graph.rs
AgeCommit message (Expand)AuthorLines
2025-09-26rename `search_graph::Delegate` fnslcnr-2/+2
2025-09-26fix cycle head usages trackinglcnr-7/+15
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-1/+2
2025-09-18support calls on opaque types :<lcnr-1/+1
2025-08-29cleanup proof tree implementation and add cachelcnr-9/+5
2025-08-11significantly improve provisional cache rebasinglcnr-1/+3
2025-06-23`evaluate_goal`: avoid unnecessary steplcnr-3/+19
2025-04-03add `TypingMode::Borrowck`lcnr-0/+1
2025-03-05keep inductive cycles as ambig in coherencelcnr-2/+18
2025-03-05change definitely non-productive cycles to errorlcnr-8/+4
2025-02-28rework cycle handlinglcnr-5/+0
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-3/+8
2024-10-10impossible obligations check fast pathlcnr-3/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-13implement a performant and fuzzed solver cachelcnr-21/+31
2024-08-12expand fuzzing supportlcnr-0/+9
2024-08-12do not use the global solver cache for proof treeslcnr-2/+5
2024-07-12enable fuzzing of `SearchGraph`lcnr-566/+57
2024-07-09cycle_participants to nested_goalslcnr-11/+11
2024-07-09use `update_parent_goal` for lazy updateslcnr-20/+10
2024-06-25Rename tcx to cxMichael Goulet-30/+30
2024-06-21Rename a bunch of thingsMichael Goulet-10/+10
2024-06-18Make rustc_next_trait_solver nightly againMichael Goulet-6/+11
2024-06-18Explicitly import tracing macrosMichael Goulet-0/+1
2024-06-18Fix impl for SolverDelegateMichael Goulet-8/+8
2024-06-18Uplift the new trait solverMichael Goulet-0/+603
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 04:58:02 +0000