about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver
AgeCommit message (Expand)AuthorLines
2025-03-01Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrennMatthias Krüger-4/+1
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-50/+40
2025-02-28reviewlcnr-0/+15
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-8/+25
2025-02-28fix typolcnr-1/+1
2025-02-28rework cycle handlinglcnr-47/+90
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-4/+1
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-48/+38
2025-02-22Rollup merge of #137333 - compiler-errors:edition-2024-fresh, r=NadrierilMatthias Krüger-1/+1
2025-02-22Upgrade the compiler to edition 2024Michael Goulet-1/+1
2025-02-21Make sure we don't overrun the stack in canonicalizerMichael Goulet-2/+2
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-6/+4
2025-02-18Auto merge of #137235 - matthiaskrgr:rollup-2kjua2t, r=matthiaskrgrbors-8/+29
2025-02-18don't ICE for alias-relate goals with error termlcnr-1/+11
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-13rework pointee handling for the new rigid alias approachlcnr-67/+79
2025-02-13normalizes-to rework rigid alias handlinglcnr-93/+76
2025-02-13Use BikeshedGuaranteedNotDrop in unsafe binder type WF tooMichael Goulet-1/+1
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+117
2025-02-08Rustfmtbjorn3-61/+89
2025-02-07Rollup merge of #136664 - WaffleLapkin:un-map_or-true, r=compiler-errorsMatthias Krüger-1/+1
2025-02-06replace one `.map_or(true, ...)` with `.is_none_or(...)`Waffle Lapkin-1/+1
2025-02-06Rollup merge of #136069 - yotamofek:next-solver-slice, r=compiler-errorsMatthias Krüger-7/+5
2025-02-05Pass spans around new solverMichael Goulet-22/+56
2025-02-05Remove span from delegateMichael Goulet-4/+2
2025-01-30introduce `ty::Value`Lukas Markeffsky-5/+3
2025-01-28Do not assume child bound assumptions for rigid aliasMichael Goulet-14/+49
2025-01-25Simplify slice indexing in next trait solverYotam Ofek-7/+5
2025-01-23Rollup merge of #135766 - lcnr:candidate-assembly-3, r=compiler-errorsMatthias Krüger-21/+28
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-23/+19
2025-01-20handle global trait bounds defining assoc typelcnr-2/+22
2025-01-20remove unnecessary collectionlcnr-19/+6
2025-01-19Run `clippy --fix` for `unnecessary_map_or` lintYotam Ofek-1/+1
2025-01-17new solver: prefer trivial builtin impls over where-clausesRémy Rakic-2/+27
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-3/+5
2025-01-08Implement const Destruct in old solverMichael Goulet-0/+2
2025-01-06Recurse on GAT where clauses in fulfillment error proof tree visitorMichael Goulet-2/+2
2025-01-06Add derived causes for host effect predicatesMichael Goulet-1/+1
2025-01-03Also in the new solverMichael Goulet-18/+27
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-3/+37
2024-12-18update new solver candidate assemblylcnr-89/+180
2024-12-18canonicalizer: keep 'static in the param_envlcnr-40/+102
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+8
2024-11-28support revealing defined opaque post borrowcklcnr-33/+53
2024-11-23remove remaining references to `Reveal`lcnr-2/+1
2024-11-23no more Reveal :(lcnr-13/+9
2024-11-22Implement ~const Destruct in new solverMichael Goulet-4/+97
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 19:03:33 +0000