about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-30add testslcnr-1/+4
2025-09-18Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwUbors-10/+30
2025-09-18support calls on opaque types :<lcnr-10/+30
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-7/+130
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+1
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-27/+27
2025-08-14ignore head usages of ignored candidateslcnr-33/+66
2025-08-05we only merge candidates for trait and normalizes-to goalslcnr-30/+13
2025-08-04Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLiiStuart Cook-3/+3
2025-07-31dont assemble shadowed impl candidateslcnr-3/+24
2025-07-30Distinguish appending and replacing self ty in predicatesMichael Goulet-3/+3
2025-07-05[perf] Skip walking into param-env component if it has no placeholder/re-varMichael Goulet-4/+9
2025-06-27Use let chains in the new solverMichael Goulet-4/+4
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-24/+11
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `Sized` typesDavid Wood-0/+24
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-1/+1
2025-06-13Replace escaping bound vars in ty/ct visiting, not binder visitingMichael Goulet-12/+35
2025-05-08refactor `probe_and_consider_param_env_candidate`lcnr-15/+14
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-11/+12
2025-05-07ReviewMichael Goulet-6/+18
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-23/+141
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-1/+1
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-1/+1
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-8/+0
2025-04-25handle specialization in the new trait solverlcnr-1/+72
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-33/+54
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-10/+14
2025-04-14normalize: prefer ParamEnv over AliasBoundlcnr-21/+30
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-03-15Squash fold into tyMichael 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-01-28Do not assume child bound assumptions for rigid aliasMichael Goulet-14/+49
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+2
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-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-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-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 04:55:34 +0000