about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/relate/higher_ranked.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-2/+2
2025-03-15Fold visit into tyMichael Goulet-2/+1
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-01-22Remove `Copy` bound from `enter_forall`Boxy-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-13/+13
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+3
2024-06-06Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+1
2024-03-07Rollup merge of #122142 - lcnr:rustc_infer-cleanup, r=compiler-errorsGuillaume Gomez-1/+1
2024-03-07move snapshot handling into modlcnr-1/+1
2024-03-07improve debug loggingLukas Markeffsky-1/+1
2024-03-01Rebase fallout from TypeRelating::binders, inline higher_ranked_subMichael Goulet-62/+3
2024-03-01Remove a_is_expected from combine relationsMichael Goulet-1/+7
2024-02-08reviews + rebaseBoxy-6/+9
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-3/+20
2024-02-08introduce `enter_forall`Boxy-17/+25
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-0/+136
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 00:10:03 +0000