summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver
AgeCommit message (Expand)AuthorLines
2025-03-26Implement lint against using Interner and InferCtxtLike in random compiler cr...Michael Goulet-0/+1
2025-03-24Allow WellFormed goals to be returned from relating in new solverMichael Goulet-7/+9
2025-03-20Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputTypeMichael Goulet-1/+4
2025-03-15Use {Decodable,Encodable}_NoContext in type_irMichael Goulet-2/+5
2025-03-15Fold visit into tyMichael Goulet-11/+12
2025-03-15Squash fold into tyMichael Goulet-16/+18
2025-03-12Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan...Matthias Krüger-1/+0
2025-03-12Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errorsMatthias Krüger-20/+70
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-3/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-08Specify rust lints for `compiler/` crates via Cargo.Nicholas Nethercote-0/+3
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-49/+0
2025-03-05keep inductive cycles as ambig in coherencelcnr-2/+18
2025-03-05change definitely non-productive cycles to errorlcnr-19/+53
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-27Delete tuple unsizingAlice Ryhl-49/+0
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