summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2024-01-29merge builtin unsize candidates againlcnr-87/+41
2024-01-29bye bye `assemble_candidates_via_self_ty`lcnr-111/+31
2024-01-23Random type checker changesMichael Goulet-1/+1
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
2024-01-12Rollup merge of #119817 - compiler-errors:normalize-opaques, r=lcnrGuillaume Gomez-19/+22
2024-01-12Auto merge of #119735 - lcnr:provisional-cache-readd, r=compiler-errorsbors-111/+265
2024-01-11Remove special-casing around aliaskind in new solverMichael Goulet-19/+22
2024-01-10More commentsMichael Goulet-10/+30
2024-01-10Check reveal and can_define_opaque_ty in try_normalize_ty_recurMichael Goulet-12/+16
2024-01-09this is not a rust code snippetlcnr-4/+5
2024-01-09add comments and testslcnr-36/+58
2024-01-09avoid always rerunning in case of a cyclelcnr-34/+71
2024-01-09readd the provisional cachelcnr-62/+161
2024-01-08`all` to `any`lcnr-5/+5
2024-01-08do not track root depth of cycleslcnr-37/+32
2024-01-08use doc commentslcnr-3/+3
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-2/+2
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-22/+24
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-19add commentlcnr-0/+14
2023-12-18dont discard overflow from normalizes-to goalslcnr-22/+45
2023-12-18track the source of nested goalslcnr-77/+145
2023-12-15Annotate some bugsMichael Goulet-2/+9
2023-12-14Unconditionally register alias-relate in projection goalMichael Goulet-11/+23
2023-12-14consistently use "next solver" instead of "new solver"lcnr-4/+4
2023-12-14update use of feature flagslcnr-5/+4
2023-12-14rename `-Ztrait-solver` to `-Znext-solver`lcnr-4/+5
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-5/+4
2023-12-08Rollup merge of #117586 - compiler-errors:the-canonicalizer, r=lcnrMatthias Krüger-430/+1
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-430/+1
2023-12-08Implement `async gen` blocksMichael Goulet-0/+65
2023-12-08implement and use `NormalizesTo`lcnr-61/+71
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+6
2023-12-05Continue folding if deep normalizer failsMichael Goulet-14/+40
2023-12-05Add deeply_normalize_for_diagnostics, use it in coherenceMichael Goulet-2/+18
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-29new solver: improve instrument annotationslcnr-1/+4
2023-11-26Clean dead codesr0cky-17/+0
2023-11-25Rollup merge of #118259 - spastorino:move-eager-resolver-to-infer, r=compiler...León Orell Valerian Liehr-80/+5
2023-11-24Move EagerResolution to rustc_infer::infer::resolveSantiago Pastorino-80/+5
2023-11-24Rollup merge of #118243 - lcnr:commit-if-ok, r=compiler-errorsMichael Goulet-9/+9
2023-11-24EvalCtxt::commit_if_ok don't inherit nested goalslcnr-9/+9
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-3/+0
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-5/+5
2023-11-21Remove ClosureKind predicate kindMichael Goulet-3/+0
2023-11-20handle reservation impls, track impl sourcelcnr-25/+45
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 06:07:14 +0000