about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs
AgeCommit message (Expand)AuthorLines
2025-09-29Fn-trait goals, eagerly instantiate binderlcnr-2/+3
2025-09-17Remove `DynKind`León Orell Valerian Liehr-3/+3
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-3/+3
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-11/+11
2025-08-13`fn new_coroutine_witness_for_coroutine` woopslcnr-18/+6
2025-07-31Remove the witness type from coroutine argsMichael Goulet-3/+17
2025-07-01Remove support for dyn*Michael Goulet-1/+0
2025-06-30Rollup merge of #143066 - compiler-errors:let-chain-solver, r=lcnrdianqk-6/+6
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-6/+6
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-22/+33
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-12Fix typosomahs-1/+1
2025-04-29Treat `ManuallyDrop` as `~const Destruct`Oli Scherer-0/+3
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-16Remove FIXME that is no longer relevantMichael Goulet-6/+0
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-49/+108
2025-04-03Initial support for auto traits with default boundsBryanskiy-1/+5
2025-03-15Squash fold into tyMichael Goulet-2/+4
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-08Rustfmtbjorn3-12/+17
2025-01-08Implement const Destruct in old solverMichael Goulet-0/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+14
2024-11-22Implement ~const Destruct in new solverMichael Goulet-1/+73
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-0/+70
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-18/+13
2024-08-12Remove some unnecessary `skip_binder` calls.Nicholas Nethercote-2/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-4/+5
2024-08-08Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement FnMichael Goulet-21/+39
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-3/+11
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-1/+4
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-2/+2
2024-07-07Uplift elaborationMichael Goulet-1/+3
2024-06-27Make queries more explicitMichael Goulet-2/+3
2024-06-25Rename tcx to cxMichael Goulet-57/+55
2024-06-24Also migrate FnInputTysMichael Goulet-5/+9
2024-06-24Replace Deref bounds on Interner in favor of a SliceLike traitMichael Goulet-18/+15
2024-06-21Rename a bunch of thingsMichael Goulet-29/+29
2024-06-18Make rustc_next_trait_solver nightly againMichael Goulet-28/+34
2024-06-18Explicitly import tracing macrosMichael Goulet-0/+1
2024-06-18Uplift the new trait solverMichael Goulet-0/+749
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 11:48:35 +0000