about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/relate/generalize.rs
AgeCommit message (Expand)AuthorLines
2025-09-08Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwUbors-0/+4
2025-09-08reviewlcnr-1/+1
2025-09-08eagerly compute `sub_relations` againlcnr-0/+4
2025-09-08Move `rustc_middle::MaxUniverse` to `rustc_infer`.Nicholas Nethercote-2/+41
2025-07-31Move `TermVid` out of `rustc_middle`.Nicholas Nethercote-10/+26
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-4/+3
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-15Fold visit into tyMichael Goulet-3/+2
2025-02-02Move `unify_key` module.Nicholas Nethercote-1/+1
2024-11-23no more Reveal :(lcnr-8/+2
2024-10-29TypingMode :thinking:lcnr-2/+9
2024-10-24Remove associated type based effects logicMichael Goulet-1/+0
2024-10-10Uplift super_combineMichael Goulet-1/+1
2024-10-08Improve formatting of some comments.Nicholas Nethercote-2/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-10generalize: track relevant info in cache keylcnr-9/+9
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/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+9
2024-07-18Remove tag field from relationsMichael Goulet-4/+0
2024-07-17Fix relationsMichael Goulet-6/+6
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-2/+2
2024-06-12Use Variance glob import everywhereMichael Goulet-9/+9
2024-06-11Rename some thingsMichael Goulet-3/+3
2024-06-06Uplift TypeRelation and RelateMichael Goulet-7/+8
2024-06-05Basic removal of `Ty` from places (boring)Boxy-6/+2
2024-06-05bivariant alias: set `has_unconstrained_ty_var`lcnr-2/+10
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-9/+3
2024-05-07generalize hr alias: avoid unconstrainable infer varslcnr-4/+40
2024-04-15Remove TypeVariableOriginKindMichael Goulet-6/+3
2024-03-01Fallout from removing a_is_expectedMichael Goulet-8/+4
2024-03-01Preserve variance on error in generalizerMichael Goulet-2/+2
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-7/+46
2024-02-23Rollup merge of #121479 - lcnr:fix-generalize, r=compiler-errorsMatthias Krüger-18/+24
2024-02-22fix CIlcnr-2/+2
2024-02-22woops, soundly generalizing is hardlcnr-18/+24
2024-02-22remove `sub_relations` from infcx, recompute in diagnosticslcnr-12/+4
2024-02-21Inline NllTypeRelating into its only usage siteMichael Goulet-1/+5
2024-02-20some type system cleanuplcnr-52/+71
2024-02-17yeet `GeneralizerDelegate`lcnr-126/+52
2024-02-17move ty var instantiation into the generalize modulelcnr-5/+195
2024-02-17add fixmelcnr-0/+3
2024-02-17rename `needs_wf` and clarify commentlcnr-31/+27
2024-02-12Dejargnonize substShoyu Vanilla-5/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 12:41:41 +0000