about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/canonical
AgeCommit message (Expand)AuthorLines
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-2/+26
2025-07-13Simplify make_query_region_constraintsMichael Goulet-12/+10
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-4/+1
2025-06-19Cache instantiation of canonical binderMichael Goulet-20/+169
2025-05-29Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errorsbors-0/+4
2025-05-27Rename unpack to kindMichael Goulet-6/+6
2025-05-26add additional `TypeFlags` fast pathslcnr-0/+4
2025-05-27Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr许杰友 Jieyou Xu (Joe)-54/+8
2025-05-26Auto merge of #141442 - compiler-errors:fast-path-pred, r=lcnrbors-0/+4
2025-05-26RenameMichael Goulet-1/+1
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-54/+8
2025-05-25Fast path fold_predicate in old canonicalizerMichael Goulet-0/+4
2025-05-25Don't use relation just to equate regions in responseMichael Goulet-5/+5
2025-05-23yeet `CanonicalVarInfo`lcnr-99/+78
2025-05-06support duplicates in the opaque_types_storagelcnr-19/+7
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-5/+5
2025-03-15Squash fold into tyMichael Goulet-8/+5
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-7/+6
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-2/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-12-20remove non-borrowck member constraintslcnr-12/+2
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-3/+3
2024-10-24Remove associated type based effects logicMichael Goulet-23/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-17/+8
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-3/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-29/+30
2024-06-21Rename a bunch of thingsMichael Goulet-2/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-24/+16
2024-06-03Nits and formattingMichael Goulet-5/+5
2024-06-03Make TraitEngines generic over errorMichael Goulet-16/+9
2024-06-03Remove unnecessary extension traitMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+3
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-13/+7
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-16Auto merge of #123537 - compiler-errors:shallow, r=lcnrbors-1/+1
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-1/+1
2024-04-15Remove ConstVariableOriginKindMichael Goulet-2/+2
2024-04-15Remove TypeVariableOriginKindMichael Goulet-2/+2
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-8/+16
2024-04-08Ensure the canonical_param_env_cache does not contain inconsistent informatio...Oli Scherer-2/+6
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-3/+3
2024-04-08Adjust a comment to the new status quoOli Scherer-6/+3
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-1/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 15:08:14 +0000