about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/canonicalizer.rs
AgeCommit message (Expand)AuthorLines
2025-09-08reviewlcnr-1/+7
2025-09-08pass `sub_relations` into canonical querieslcnr-10/+23
2025-09-08inline `CanonicalTyVarKind`lcnr-12/+9
2025-08-22change HIR typeck unification handling approachlcnr-30/+5
2025-08-16run spellcheck as a tidy extra check in cibinarycat-1/+1
2025-07-25uniquify root goals during HIR typecklcnr-21/+51
2025-07-05Don't compress input universesMichael Goulet-111/+10
2025-07-05Canonicalize input ty/ct infer/placeholder in the root universeMichael Goulet-8/+23
2025-06-13Make connection between Placeholder and Bound a bit more clear in the type ab...Michael Goulet-4/+4
2025-06-08add `param_env` cache to canonicalizationlcnr-14/+60
2025-06-08move `canonicalize_param_env` into sub-fnlcnr-25/+30
2025-05-30Auto merge of #141651 - compiler-errors:less-assert, r=lcnrbors-11/+12
2025-05-27Make some assertions in solver into debug assertionsMichael Goulet-11/+12
2025-05-26assert we never incorrectly canonicalize envslcnr-0/+7
2025-05-26add additional `TypeFlags` fast pathslcnr-0/+4
2025-05-25Do not canonicalize in new solver if it has nothing to canonicalizeMichael Goulet-8/+51
2025-05-23yeet `CanonicalVarInfo`lcnr-31/+31
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-21Make sure we don't overrun the stack in canonicalizerMichael Goulet-2/+2
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-19Run `clippy --fix` for `unnecessary_map_or` lintYotam Ofek-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-12-18canonicalizer: keep 'static in the param_envlcnr-24/+95
2024-10-24Remove associated type based effects logicMichael Goulet-1/+0
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-2/+1
2024-10-02reviewlcnr-5/+7
2024-09-30canonicalizer: rm region uniquification, add cachinglcnr-109/+138
2024-09-11Simplify some nested if statementsMichael Goulet-4/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-1/+2
2024-06-21Rename a bunch of thingsMichael Goulet-25/+23
2024-06-18SolverDelegateMichael Goulet-5/+6
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-44/+6
2024-05-21Uplift binderMichael Goulet-4/+2
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-18/+24
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-3/+3
2024-05-06Use super_fold in RegionsToStatic visitorMichael Goulet-1/+1
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-1/+2
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-2/+2
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-1/+2
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-03-28Require foldability part of interner item bounds, remove redundant where clausesMichael Goulet-8/+2
2024-03-28Restrict const ty's regions to static when putting them in canonical var listMichael Goulet-23/+56
2024-03-24Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnrMatthias Krüger-2/+1
2024-03-22Uniquify ReError on input mode in canonicalizerMichael Goulet-2/+1
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-04Allow a way to add constructors for rustc_type_ir typesMichael Goulet-3/+4
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-8/+30
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 16:10:06 +0000