about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-03-23Rollup merge of #109472 - MU001999:patch-3, r=eholkMatthias Krüger-7/+25
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-61/+121
2023-03-23Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnrMatthias Krüger-61/+121
2023-03-23Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors-49/+123
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-67/+69
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-23/+27
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-26/+80
2023-03-23Use span_look_ahead instead of next_pointMu42-6/+3
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-49/+123
2023-03-22Implement non-const Destruct trait in new solverMichael Goulet-0/+28
2023-03-22reviewlcnr-2/+1
2023-03-22stop special-casing `'static` in evaluatelcnr-78/+86
2023-03-22`HirId` to `LocalDefId` cleanuplcnr-5/+4
2023-03-22Fixes #109436: add parentheses properlyMu42-7/+28
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-222/+89
2023-03-21Rollup merge of #109446 - spastorino:new-rpitit-17, r=compiler-errorsMatthias Krüger-0/+1
2023-03-21Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errorsMatthias Krüger-26/+32
2023-03-21Rollup merge of #109336 - compiler-errors:constrain-to-ct-err, r=BoxyUwUMatthias Krüger-1/+5
2023-03-21Do not suggest bounds restrictions for synthesized RPITITsSantiago Pastorino-0/+1
2023-03-21disable global caching during coherencelcnr-1/+2
2023-03-21enable `intercrate` in the solver `InferCtxt`lcnr-6/+18
2023-03-21new solver cleanup + coherencelcnr-42/+103
2023-03-21Rollup merge of #108896 - BoxyUwU:new_solver_add_goal_fn, r=lcnrnils-443/+531
2023-03-21Also check function items' signatures for Fn* trait compatibilityOli Scherer-5/+14
2023-03-21Deduplicate fn trait compatibility checksOli Scherer-28/+8
2023-03-21Only implement Fn* traits for extern "Rust" safe function pointers.Oli Scherer-1/+18
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-52/+19
2023-03-21remove some trait solver helperslcnr-170/+70
2023-03-20Enforce non-lifetime-binders in supertrait preds are not object safeMichael Goulet-1/+20
2023-03-19Delay overlap errors if errors are involvedMichael Goulet-1/+5
2023-03-17Fast path that skips over unchanged obligations in process_obligationsThe 8472-0/+23
2023-03-17move `compute_goal` and `evaluate_x` methods to inner moduleBoxy-272/+272
2023-03-17fix bad assertionBoxy-13/+4
2023-03-17replace chain with two `add_goal`Boxy-16/+11
2023-03-17fix let else unformattingBoxy-5/+9
2023-03-17UNACEPTABLEBoxy-9/+9
2023-03-17add commentsBoxy-0/+5
2023-03-17add assertBoxy-2/+9
2023-03-17review nitsBoxy-14/+18
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-9/+13
2023-03-17Rollup merge of #108958 - clubby789:unbox-the-hir, r=compiler-errorsMatthias Krüger-3/+0
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-254/+336
2023-03-16Rollup merge of #109171 - oli-obk:normalization_cleanup, r=compiler-errorsMatthias Krüger-77/+48
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-80/+95
2023-03-16Fix on_unimplemented_note for RPITITsMichael Goulet-7/+11
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-2/+2
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-7/+7
2023-03-15always make `define_opaque_types` explicitlcnr-80/+95
2023-03-15Deduplicate logic between projection normalization with and without escaping ...Oli Scherer-59/+21
2023-03-15Exhaustively match over all alias kindsOli Scherer-20/+29
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 23:07:34 +0000