about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/inspect
AgeCommit message (Expand)AuthorLines
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-2/+2
2025-09-18support calls on opaque types :<lcnr-1/+1
2025-08-29cleanup proof tree implementation and add cachelcnr-12/+6
2025-06-26Auto merge of #142774 - lcnr:search_graph-2, r=oli-obkbors-6/+6
2025-06-23Simplify API of solver a bitMichael Goulet-14/+6
2025-06-23inspect: merge `[Canonical]GoalEvaluation`lcnr-6/+6
2025-06-09Apply nested goals certainty to InspectGoals for normalizes-toMichael Goulet-35/+64
2025-06-07Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwUGuillaume Gomez-4/+1
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-4/+1
2025-06-05Only instantiate impl argsMichael Goulet-28/+53
2025-05-29Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errorsbors-5/+4
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-26add additional `TypeFlags` fast pathslcnr-5/+4
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-3/+4
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-1/+1
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-3/+5
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2025-02-13normalizes-to rework rigid alias handlinglcnr-2/+0
2025-02-05Pass spans around new solverMichael Goulet-3/+6
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-36/+46
2024-10-22remove unused fieldlcnr-1/+1
2024-10-15Be better at reporting alias errorsMichael Goulet-2/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-14Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors许杰友 Jieyou Xu (Joe)-7/+3
2024-08-12do not use the global solver cache for proof treeslcnr-7/+3
2024-08-11Use assert_matches around the compilerMichael Goulet-2/+4
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-18Fix impl for SolverDelegateMichael Goulet-38/+16
2024-06-18Uplift the new trait solverMichael Goulet-580/+0
2024-06-18SolverDelegateMichael Goulet-7/+11
2024-06-15Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnrGuillaume Gomez-1/+14
2024-06-14Correctly consider depth when visiting WF goalsMichael Goulet-1/+14
2024-06-13Address nitsMichael Goulet-3/+4
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-2/+5
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+1
2024-05-28Make ProofTreeBuilder actually generic over internerMichael Goulet-59/+53
2024-05-28refactor analyse visitor to instantiate states in orderlcnr-45/+41
2024-05-24remove proof tree formatter, make em shallowlcnr-167/+72
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-1/+1
2024-05-18Make proof tree building genericMichael Goulet-88/+102
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-24/+25
2024-05-13Use a proper probe for shadowing implMichael Goulet-10/+24
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-10Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnrMatthias Krüger-11/+2
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-11/+2
2024-05-09analyse visitor: build proof tree in probelcnr-11/+33
2024-05-07Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errorsMatthias Krüger-1/+4
2024-05-07generalize hr alias: avoid unconstrainable infer varslcnr-1/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 23:19:43 +0000