about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/normalizes_to
AgeCommit message (Expand)AuthorLines
2025-09-29Fn-trait goals, eagerly instantiate binderlcnr-78/+57
2025-09-17Remove `DynKind`León Orell Valerian Liehr-2/+2
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-4/+3
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-10/+11
2025-08-29Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnrbors-21/+23
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-21/+23
2025-08-25support non-defining uses in HIR typecklcnr-124/+50
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-07-01Remove support for dyn*Michael Goulet-2/+1
2025-06-27Use let chains in the new solverMichael Goulet-11/+10
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-06-03`FIXME(-Znext-solver)` triagelcnr-0/+3
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-3/+35
2025-05-07ReviewMichael Goulet-3/+1
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-33/+33
2025-05-01Set groundwork for proper const normalizationBoxy-11/+28
2025-04-28Rollup merge of #140402 - lcnr:normalizes-to-certainty-yes, r=compiler-errorsChris Denton-11/+35
2025-04-28Rollup merge of #140276 - compiler-errors:typeof-less-eagerly, r=lcnrChris Denton-0/+6
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-8/+8
2025-04-28Do not compute type_of for impl item if impl where clauses are unsatisfiedMichael Goulet-0/+6
2025-04-28only return nested goals for `Certainty::Yes`lcnr-11/+35
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-8/+8
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-60/+0
2025-04-25handle specialization in the new trait solverlcnr-5/+22
2025-04-24Remove `weak` alias terminologyBoxy-8/+8
2025-04-23MoreMichael Goulet-2/+2
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-1/+1
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-2/+1
2025-04-16Don't require rigid alias's trait to holdMichael Goulet-1/+0
2025-04-09Make unnormalizable item ambiguous in coherenceMichael Goulet-2/+18
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-1/+1
2025-04-09Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in er...Michael Goulet-2/+2
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-1/+11
2025-04-03add `TypingMode::Borrowck`lcnr-0/+36
2025-04-01simplify Interner opaque types APIlcnr-2/+2
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-28fix typolcnr-1/+1
2025-02-28rework cycle handlinglcnr-1/+0
2025-02-13rework pointee handling for the new rigid alias approachlcnr-67/+79
2025-02-13normalizes-to rework rigid alias handlinglcnr-84/+52
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+7
2025-02-08Rustfmtbjorn3-25/+37
2025-01-03Also in the new solverMichael Goulet-16/+22
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+15
2024-12-18update new solver candidate assemblylcnr-2/+9
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-11-28support revealing defined opaque post borrowcklcnr-16/+26
2024-11-23remove remaining references to `Reveal`lcnr-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 08:59:15 +0000