summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/fulfill.rs
AgeCommit message (Expand)AuthorLines
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
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-1/+1
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-4/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+12
2024-06-03Make TraitEngines generic over errorMichael Goulet-21/+63
2024-05-24remove proof tree formatter, make em shallowlcnr-3/+3
2024-05-21Move `#[do_not_recommend]` to the `#[diagnostic]` namespaceGeorg Semmler-1/+4
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-10/+17
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-20/+57
2024-05-16Don't ICE because recomputing overflow goals during find_best_leaf_obligation...Michael Goulet-41/+64
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-12solve: replace all `debug` with `trace`lcnr-1/+1
2024-05-10More rename falloutMichael Goulet-3/+2
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-8/+6
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-8/+11
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-10/+6
2024-05-06Don't consider candidates with no failing where clausesMichael Goulet-6/+42
2024-05-04Rollup merge of #124717 - compiler-errors:do-not-recomment-next-solver, r=lcnrMatthias Krüger-0/+9
2024-05-04Implement do_not_recommend in the new solverMichael Goulet-0/+9
2024-05-04Only consider ambiguous goals when finding best obligation for ambiguitiesMichael Goulet-9/+11
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-75/+76
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-9/+146
2024-03-02avoid collecting into vecs in some placesMatthias Krüger-1/+1
2024-02-29stash overflowing obligations in fulfilllcnr-12/+75
2024-02-29extract fulfillment err creationlcnr-82/+73
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-4/+7
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-18/+7
2024-02-20Simply do not ICEMichael Goulet-1/+4
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-2/+2
2024-01-19Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer...Gavin Gray-60/+76
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-8/+8
2024-01-13assert that trait solver is only created in proper infcxMichael Goulet-0/+5
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-8/+8
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+5
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0
2023-07-10avoid building proof trees in selectlcnr-2/+2
2023-07-03rebaselcnr-1/+1
2023-07-03add instrument to `register_predicate_obligation`lcnr-0/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-3/+11
2023-06-29change snapshot tracking in fulfillment contextslcnr-3/+11
2023-06-26TypeWellFormedInEnvMichael Goulet-2/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-19allow caller to force proof tree generationBoxy-58/+64
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 03:20:10 +0000