about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/fulfill
AgeCommit message (Expand)AuthorLines
2025-09-18support calls on opaque types :<lcnr-9/+13
2025-06-26Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwUMichael Goulet-1/+3
2025-06-23Simplify API of solver a bitMichael Goulet-12/+6
2025-06-23Add note to find_const_ty_from_envMichael Goulet-1/+3
2025-06-06Filter out universals and lifetimes from stalled_varsMichael Goulet-2/+4
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-10/+14
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-1/+7
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-04-26convert some `GenericArg` to `Term`lcnr-4/+4
2025-04-23Auto merge of #138845 - compiler-errors:stall-generators, r=lcnrbors-2/+8
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-2/+8
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-3/+3
2025-04-10Deeply normalize obligations in BestObligationMichael Goulet-6/+13
2025-04-10SimplifyMichael Goulet-30/+22
2025-04-09Report higher-ranked trait error when higher-ranked projection goal fails in ...Michael Goulet-3/+33
2025-03-23Obligation::as_goalMichael Goulet-4/+4
2025-03-05change definitely non-productive cycles to errorlcnr-1/+1
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-1/+4
2025-02-13adjust derive_errorlcnr-25/+103
2025-02-08Rustfmtbjorn3-4/+4
2025-02-05Pass spans around new solverMichael Goulet-1/+5
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-16/+44
2025-01-31Move fulfillment error derivation into new moduleMichael Goulet-0/+499
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 00:31:27 +0000