about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/relate
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-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-2/+2
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-2/+2
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-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-5/+3
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-5/+3
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-26Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solverMichael Goulet-2/+4
2025-02-08Rustfmtbjorn3-12/+12
2025-02-02Move `unify_key` module.Nicholas Nethercote-1/+1
2025-01-22Remove `Copy` bound from `enter_forall`Boxy-3/+3
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-12Swap Vec<PredicateObligation> to type aliasGnomedDev-8/+8
2024-10-10Make super combine into fnsMichael Goulet-8/+8
2024-10-10Use SolverRelating in favor of TypeRelating in the old solver where possibleMichael Goulet-3/+2
2024-10-10Remove unnecessary StructurallyRelateAliases from CombineFields/TypeRelatingMichael Goulet-4/+1
2024-10-10Use SolverRelating in new solverMichael Goulet-1/+0
2024-10-10Uplift super_combineMichael Goulet-250/+5
2024-10-10Move ty::Error branch into super_combine_tysMichael Goulet-5/+5
2024-10-08Improve formatting of some comments.Nicholas Nethercote-2/+4
2024-10-07Remove unnecessary DefineOpaqueTypes from lubMichael Goulet-11/+7
2024-10-07Inline CombineFieldsMichael Goulet-173/+129
2024-10-07Reduce visibilities some more.Nicholas Nethercote-11/+11
2024-10-04Auto merge of #131191 - nnethercote:lattice_op, r=lcnrbors-403/+231
2024-10-04Remove `LatticeDir` trait.Nicholas Nethercote-104/+69
2024-10-04Merge `rustc_infer::infer::relate::{glb,lub}`.Nicholas Nethercote-333/+196
2024-10-02reviewlcnr-3/+5
2024-10-01add caches to multiple type folderslcnr-2/+46
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-19/+19
2024-09-10generalize: track relevant info in cache keylcnr-9/+9
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+7
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-36/+34
2024-07-18Remove tag field from relationsMichael Goulet-25/+11
2024-07-17Fix relationsMichael Goulet-15/+15
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-39/+15
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-26/+16
2024-06-12Use Variance glob import everywhereMichael Goulet-26/+16
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-123/+0
2024-06-11Try not to make obligations in handle_opaque_typeMichael Goulet-16/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 11:19:50 +0000