about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2023-10-20s/Generator/Coroutine/Oli Scherer-11/+11
2023-10-19Rollup merge of #116908 - estebank:issue-78206, r=compiler-errorsLeón Orell Valerian Liehr-4/+19
2023-10-18Tweak wording of type errors involving type paramsEsteban Küber-4/+19
2023-10-18Don't ICE when encountering unresolved regions in fully_resolveMichael Goulet-7/+20
2023-10-18Auto merge of #116885 - aliemjay:rollup-plbeppt, r=aliemjaybors-63/+59
2023-10-18Rollup merge of #116879 - aliemjay:revert-opaque-bubble, r=oli-obkAli MJ Al-Nasrawy-19/+1
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-19/+1
2023-10-17Suggest constraining assoc types in more casesEsteban Küber-44/+58
2023-10-17Remove `Print::Error`Nilstrieb-2/+2
2023-10-17Remove `Printer::Error`Nilstrieb-24/+20
2023-10-17Remove `Print::Output`Nilstrieb-2/+2
2023-10-17Remove "subprinter" types from `Printer`Nilstrieb-25/+24
2023-10-17Use a visitor that could be reused by opaque type capture check laterMichael Goulet-0/+124
2023-10-13Format all the let chains in compilerMichael Goulet-164/+248
2023-10-11Suggest `;` after bare `match` expression E0308Esteban Küber-0/+13
2023-10-11Rollup merge of #116219 - compiler-errors:relate-alias-ty-with-variance, r=lcnrMatthias Krüger-2/+2
2023-10-08remove trailing dotsAli MJ Al-Nasrawy-1/+1
2023-10-08always show and explain sub regionAli MJ Al-Nasrawy-37/+23
2023-10-08improve the suggestion of generic_bound_failureAli MJ Al-Nasrawy-299/+201
2023-10-04Make it clear that args default to being related invariantlyMichael Goulet-2/+2
2023-10-04Show suggestion for `<SelfTy as Trait>::assoc_fn` in more cases and fmt codeEsteban Küber-1/+1
2023-10-02Rename both of the Match relationsMichael Goulet-8/+16
2023-09-27fix clippy::{redundant_guards, useless_format}Matthias Krüger-1/+1
2023-09-26Don't store lazyness in DefKindMichael Goulet-2/+2
2023-09-24Remove span from BrAnon.Camille GILLOT-16/+7
2023-09-24Rollup merge of #116082 - compiler-errors:default-assoc-ty-msg, r=estebankMatthias Krüger-3/+7
2023-09-24Rollup merge of #116073 - compiler-errors:poly-sigs, r=b-naberMatthias Krüger-11/+29
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-41/+1
2023-09-23Remove dead error code.Camille GILLOT-34/+1
2023-09-23Tweak expected message to explain what it's actually signifyingMichael Goulet-3/+7
2023-09-22Allow higher-ranked fn sigs in ValuePairsMichael Goulet-11/+29
2023-09-22Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obkbors-1/+1
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-0/+6
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-2/+5
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-8/+1
2023-09-18Remove `RegionHighlightMode::tcx`.Nicholas Nethercote-5/+5
2023-09-15Canonicalize effect vars in new solverMichael Goulet-0/+4
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-2/+5
2023-09-14treat host effect params as erased generics in codegenDeadbeef-3/+3
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-1/+19
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-1/+19
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-15/+168
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-8/+7
2023-09-10Implement fallback for effect paramDeadbeef-15/+169
2023-09-07Use `newtype_index` for `IntVid` and `FloatVid`.Nicholas Nethercote-2/+2
2023-08-30Test and note unsafe ctor to fn ptr coercionMichael Goulet-6/+4
2023-08-26Merge if and match expressions that don't make sense to have separatedSantiago Pastorino-15/+10
2023-08-25Check that universe can name other universe instead of equalitySantiago Pastorino-4/+5
2023-08-25Remove lub_empty from lexical region resolveSantiago Pastorino-46/+19