about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/fulfill.rs
AgeCommit message (Expand)AuthorLines
2025-09-18support calls on opaque types :<lcnr-2/+2
2025-08-22change HIR typeck unification handling approachlcnr-1/+3
2025-07-31Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitnessMichael Goulet-1/+1
2025-07-30add comment and opaque type fixmelcnr-0/+11
2025-07-30handle region dependent goals due to infer varslcnr-1/+11
2025-07-29resuse eagerly resolved goal from previous iterationlcnr-1/+5
2025-07-17Unstall obligations by looking for coroutines in old solverMichael Goulet-8/+8
2025-07-17Check if type has coroutines before visitingMichael Goulet-4/+7
2025-06-23Simplify API of solver a bitMichael Goulet-17/+7
2025-05-29Tweak fast path trait handlingMichael Goulet-2/+7
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-41/+71
2025-05-18Fast path for processing some obligations in the new solverMichael Goulet-1/+10
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-2/+1
2025-04-25Track per-obligation recursion depth only if there is inferenceMichael Goulet-8/+15
2025-04-23MoreMichael Goulet-15/+32
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-13/+87
2025-03-23Obligation::as_goalMichael Goulet-2/+2
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-3/+1
2025-02-22Fix binding mode problemsMichael Goulet-1/+3
2025-02-05Pass spans around new solverMichael Goulet-2/+2
2025-01-31Move fulfillment error derivation into new moduleMichael Goulet-490/+6
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-22Don't pick `T: FnPtr` nested goalsBoxy-2/+21
2025-01-14Make sure we can produce ConstArgHasWrongType errors for valtree constsMichael Goulet-2/+3
2025-01-06Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnrJacob Pratt-4/+75
2025-01-06Recurse on GAT where clauses in fulfillment error proof tree visitorMichael Goulet-5/+9
2025-01-06Add derived causes for host effect predicatesMichael Goulet-3/+70
2024-12-25Report correct SelectionError for ConstArgHasType in new solver fulfillMichael Goulet-1/+18
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+4
2024-11-26do not constrain infer vars in `find_best_leaf_obligation`lcnr-4/+13
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-2/+2
2024-10-16Rollup merge of #131699 - compiler-errors:better-errors-for-projections, r=lcnrMatthias Krüger-9/+16
2024-10-15Be better at reporting alias errorsMichael Goulet-2/+15
2024-10-15Always recurse on predicates in BestObligationMichael Goulet-7/+1
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-1/+3
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-10/+7
2024-10-10impossible obligations check fast pathlcnr-7/+8
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-12more eagerly discard constraints on overflowlcnr-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-09Store do_not_recommend-ness in impl headerMichael Goulet-5/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-18Fix impl for SolverDelegateMichael Goulet-5/+13
2024-06-14Correctly consider depth when visiting WF goalsMichael Goulet-2/+4
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet-0/+24
2024-06-12Also passthrough for projection clausesMichael Goulet-1/+3
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-5/+4
2024-06-03Nits and formattingMichael Goulet-6/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 09:56:21 +0000