summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly/mod.rs
AgeCommit message (Expand)AuthorLines
2024-01-29merge builtin unsize candidates againlcnr-31/+0
2024-01-29bye bye `assemble_candidates_via_self_ty`lcnr-106/+28
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-18track the source of nested goalslcnr-8/+15
2023-12-08Implement `async gen` blocksMichael Goulet-0/+7
2023-12-08implement and use `NormalizesTo`lcnr-5/+3
2023-11-29new solver: improve instrument annotationslcnr-0/+2
2023-11-26Clean dead codesr0cky-2/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-20handle reservation impls, track impl sourcelcnr-5/+3
2023-11-20self ty infer ambiguity: add proof tree candlcnr-11/+16
2023-11-09update overflow handling for norm, add testlcnr-1/+1
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-10/+5
2023-10-30Some more coroutine renamingsMichael Goulet-1/+1
2023-10-29Auto merge of #116447 - oli-obk:gen_fn, r=compiler-errorsbors-1/+11
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-1/+11
2023-10-23Make things work by using the new solverMichael Goulet-0/+2
2023-10-20s/generator/coroutine/Oli Scherer-7/+7
2023-10-20s/Generator/Coroutine/Oli Scherer-7/+7
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-5/+3
2023-09-11inspect: strongly typed CandidateKindlcnr-64/+6
2023-08-15Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once...Guillaume Gomez-10/+33
2023-08-15Separate consider_unsize_to_dyn_candidate from other unsize candidatesMichael Goulet-10/+33
2023-08-15Only consider object candidates for object-safe dyn typesMichael Goulet-0/+5
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-19/+35
2023-08-07Rollup merge of #114196 - compiler-errors:bubble-pls, r=lcnrMatthias Krüger-10/+6
2023-08-03handle overflow in the `EvalCtxt` separatelylcnr-40/+34
2023-08-03avoid more `ty::Binder:dummy`lcnr-4/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+0
2023-07-29Bubble up nested goals from equation in predicates_for_object_candidateMichael Goulet-10/+6
2023-07-28refactor builtin unsize handling, extend commentslcnr-4/+4
2023-07-25Make everything builtin!Michael Goulet-52/+63
2023-07-25Consolidate trait upcasting and unsize into one normalizationMichael Goulet-15/+10
2023-07-20update doc commentslcnr-10/+17
2023-07-20reviewlcnr-4/+4
2023-07-20re-add commentlcnr-0/+6
2023-07-20assembly: only consider blanket impls oncelcnr-65/+208
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+2
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-5/+3
2023-07-04Rollup merge of #113192 - lcnr:add-comment, r=compiler-errorsMatthias Krüger-4/+13
2023-07-03Implement selection in new trait solverMichael Goulet-15/+36
2023-06-30assemble_candidates_after_normalizing_self_ty docslcnr-4/+13
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-15/+9
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-6/+4
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-4/+4
2023-06-20Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwUbors-5/+3
2023-06-20split probe into 2 functions for better readabilitylcnr-5/+3
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-1/+5
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-1/+5
2023-06-19Fully fledged Clause typeMichael Goulet-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 12:03:45 +0000