about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/relate/mod.rs
AgeCommit message (Expand)AuthorLines
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-3/+2
2024-10-10Use SolverRelating in new solverMichael Goulet-1/+0
2024-10-10Uplift super_combineMichael Goulet-4/+2
2024-10-07Inline CombineFieldsMichael Goulet-2/+2
2024-10-07Reduce visibilities some more.Nicholas Nethercote-1/+1
2024-10-04Merge `rustc_infer::infer::relate::{glb,lub}`.Nicholas Nethercote-2/+0
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-1/+3
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-2/+0
2024-06-11Rename some thingsMichael Goulet-1/+1
2024-06-06Uplift TypeRelation and RelateMichael Goulet-12/+8
2024-03-01Combine sub and eqMichael Goulet-2/+1
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-0/+12
2024-02-21Inline NllTypeRelating into its only usage siteMichael Goulet-1/+0
2024-02-17use `instantiate_ty_var` in nlllcnr-1/+1
2023-12-15Move nll_relate to relate::nll submoduleMichael Goulet-2/+2
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-5/+6
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-0/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 16:51:00 +0000