about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/assembly
AgeCommit message (Expand)AuthorLines
2025-08-14Revert "Remove the witness type from coroutine args"lcnr-17/+3
2025-07-31Remove the witness type from coroutine argsMichael Goulet-3/+17
2025-07-05[perf] Skip walking into param-env component if it has no placeholder/re-varMichael Goulet-4/+9
2025-07-01Remove support for dyn*Michael Goulet-1/+0
2025-06-30Rollup merge of #143066 - compiler-errors:let-chain-solver, r=lcnrdianqk-10/+10
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-8/+8
2025-06-27Use let chains in the new solverMichael Goulet-10/+10
2025-06-26Fix some fixmes that were waiting for let chainsYotam Ofek-9/+8
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-8/+8
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-46/+44
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `Sized` typesDavid Wood-0/+24
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-1/+1
2025-06-13Replace escaping bound vars in ty/ct visiting, not binder visitingMichael Goulet-12/+35
2025-05-22Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgrbors-2/+2
2025-05-21Fix FnOnce impl for AsyncFn/AsyncFnMut closures in new solverMichael Goulet-1/+1
2025-05-20Querify coroutine_hidden_typesMichael Goulet-2/+2
2025-05-15Rollup merge of #140712 - lcnr:normalization-gat-args, r=compiler-errorsMatthias Krüger-19/+19
2025-05-12Fix typosomahs-1/+1
2025-05-08refactor `probe_and_consider_param_env_candidate`lcnr-15/+14
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-11/+12
2025-05-07ReviewMichael Goulet-6/+18
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-23/+141
2025-04-29Treat `ManuallyDrop` as `~const Destruct`Oli Scherer-0/+3
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-2/+2
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-2/+2
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-8/+0
2025-04-25handle specialization in the new trait solverlcnr-1/+72
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-33/+54
2025-04-16Remove FIXME that is no longer relevantMichael Goulet-6/+0
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-59/+122
2025-04-14normalize: prefer ParamEnv over AliasBoundlcnr-21/+30
2025-04-03Initial support for auto traits with default boundsBryanskiy-1/+5
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-03-15Squash fold into tyMichael Goulet-4/+5
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-2/+2
2025-02-26Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solverMichael Goulet-38/+30
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2025-02-17Prefer param-env candidates even when alias's trait bound isn't proven via pa...Michael Goulet-8/+29
2025-02-13adjust derive_errorlcnr-20/+0
2025-02-13normalizes-to rework rigid alias handlinglcnr-8/+23
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+8
2025-02-08Rustfmtbjorn3-12/+17
2025-01-28Do not assume child bound assumptions for rigid aliasMichael Goulet-14/+49
2025-01-08Implement const Destruct in old solverMichael Goulet-0/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+16
2024-12-18update new solver candidate assemblylcnr-73/+57
2024-11-28support revealing defined opaque post borrowcklcnr-1/+3
2024-11-23no more Reveal :(lcnr-2/+2
2024-11-22Implement ~const Destruct in new solverMichael Goulet-1/+73
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 17:40:26 +0000