about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/assembly
AgeCommit message (Expand)AuthorLines
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
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-1/+1
2024-11-20Rip out built-in PointerLike implMichael Goulet-10/+0
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-0/+70
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-5/+9
2024-10-24Add support for ~const item boundsMichael Goulet-0/+11
2024-10-24Remove associated type based effects logicMichael Goulet-8/+0
2024-10-15Register a dummy candidate for failed structural normalization during candiat...Michael Goulet-0/+20
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-19/+14
2024-09-03do not attempt to prove unknowable goalslcnr-34/+32
2024-08-12Remove some unnecessary `skip_binder` calls.Nicholas Nethercote-2/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-6/+7
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-30Rollup merge of #127574 - lcnr:coherence-check-supertrait, r=compiler-errorsMatthias Krüger-0/+12
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-1/+4
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-4/+4
2024-07-10elaborate unknowable goalslcnr-0/+12
2024-07-07Finish uplifting supertraitsMichael Goulet-1/+2
2024-07-07Uplift elaborationMichael Goulet-1/+3
2024-07-02Make fn traits into first-class TraitSolverLangItems to avoid needing fn_trai...Michael Goulet-4/+26
2024-07-02add TyCtxt::as_lang_item, use in new solverMichael Goulet-37/+50
2024-06-29Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obkbors-0/+7
2024-06-28address review commentsDeadbeef-3/+3
2024-06-28Implement `Min` trait in new solverDeadbeef-0/+7
2024-06-27Make queries more explicitMichael Goulet-2/+3
2024-06-25Rename tcx to cxMichael Goulet-100/+97
2024-06-24Also migrate FnInputTysMichael Goulet-5/+9
2024-06-24Replace Deref bounds on Interner in favor of a SliceLike traitMichael Goulet-20/+17
2024-06-21Rename a bunch of thingsMichael Goulet-89/+84
2024-06-18Make rustc_next_trait_solver nightly againMichael Goulet-28/+34
2024-06-18Explicitly import tracing macrosMichael Goulet-0/+2
2024-06-18Uplift the new trait solverMichael Goulet-0/+1487
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 14:07:17 +0000