about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/relate
AgeCommit message (Expand)AuthorLines
2024-02-17use `instantiate_ty_var` in nlllcnr-185/+47
2024-02-17move ty var instantiation into the generalize modulelcnr-211/+233
2024-02-17add fixmelcnr-0/+3
2024-02-17rename `needs_wf` and clarify commentlcnr-54/+56
2024-02-12Dejargnonize substShoyu Vanilla-5/+5
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-3/+2
2024-02-08reviews + rebaseBoxy-55/+49
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-5/+22
2024-02-08introduce `enter_forall`Boxy-25/+45
2024-02-05cleanup effect var handlinglcnr-32/+6
2024-02-02Remove dead args from functionsMichael Goulet-3/+2
2024-01-22Make generic const type mismatches not hide trait impls from the trait solverOli Scherer-24/+10
2024-01-16don't store const var origins for known varslcnr-24/+17
2024-01-11Rollup merge of #118915 - compiler-errors:alias-nits, r=lcnrMatthias Krüger-5/+4
2024-01-10Simplify some redundant namesMichael Goulet-5/+4
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+3
2023-12-30Auto merge of #116012 - cjgillot:gvn-const, r=oli-obkbors-1/+4
2023-12-27Remove dead codesr01and-17/+2
2023-12-24Avoid stack overflow in generalizer.Camille GILLOT-1/+4
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-19Remove param env from relation altogetherMichael Goulet-24/+22
2023-12-15NFC don't convert types to identical typesMatthias Krüger-1/+1
2023-12-15Move nll_relate to relate::nll submoduleMichael Goulet-2/+719
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-5/+142
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-0/+2016
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 09:39:39 +0000