about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/chalk_fulfill.rs
AgeCommit message (Expand)AuthorLines
2023-07-03Remove chalk from the compilerMichael Goulet-149/+0
2023-06-29change snapshot tracking in fulfillment contextslcnr-20/+18
2023-04-10Report overflows gracefully with new solverMichael Goulet-2/+5
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+7
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-9/+1
2023-01-22Store relationships on InherentSantiago Pastorino-15/+3
2022-11-24Remove normalize_projection_typeSantiago Pastorino-13/+3
2022-11-10Use TraitEngine in more places, make FulfillmentCtxt constructor more privateMichael Goulet-1/+1
2022-11-08selection failure: recompute applicable implslcnr-2/+13
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-7/+4
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-02-12Address review commentMatthew Jasper-1/+2
2022-02-11Renumber universes when canonicalizing for ChalkMatthew Jasper-2/+6
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-2/+2
2021-11-08fmtDeadbeef-6/+2
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-20/+22
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-2/+13
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-3/+0
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-2/+11
2020-11-16compiler: fold by valueBastian Kauschke-4/+4
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-133/+9
2020-08-30mv compiler to compiler/mark-0/+267
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 19:38:32 +0000