about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs
AgeCommit message (Expand)AuthorLines
2025-09-29Fn-trait goals, eagerly instantiate binderlcnr-12/+9
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-1/+2
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-5/+5
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-3/+3
2025-08-21next-solver fix const_trait_impl bootstraplcnr-7/+11
2025-07-30Distinguish appending and replacing self ty in predicatesMichael Goulet-2/+2
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-30Rollup merge of #143066 - compiler-errors:let-chain-solver, r=lcnrdianqk-13/+11
2025-06-27Use let chains in the new solverMichael Goulet-13/+11
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-3/+3
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-16/+4
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `Sized` typesDavid Wood-0/+14
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-2/+3
2025-05-07ReviewMichael Goulet-3/+1
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-23/+24
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-7/+0
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-2/+1
2025-02-13normalizes-to rework rigid alias handlinglcnr-1/+1
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+7
2025-02-08Rustfmtbjorn3-4/+5
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
2024-12-18update new solver candidate assemblylcnr-1/+7
2024-11-22Implement ~const Destruct in new solverMichael Goulet-3/+24
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-4/+1
2024-11-20Rip out built-in PointerLike implMichael Goulet-7/+0
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-9/+46
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-4/+1
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-4/+7
2024-10-24Add support for ~const item boundsMichael Goulet-1/+50
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+296
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 10:05:27 +0000