about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-10-21Rollup merge of #106601 - estebank:match-semi, r=cjgillotMatthias Krüger-0/+13
2023-10-20s/generator/coroutine/Oli Scherer-11/+11
2023-10-20s/Generator/Coroutine/Oli Scherer-11/+11
2023-10-19Auto merge of #116874 - compiler-errors:elaborator-nits, r=wesleywiserbors-34/+29
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-18Make sure that non-pretty-printing usages are using the correct elaboratorMichael Goulet-2/+2
2023-10-18Simplify transitive_bounds_that_define_assoc_itemMichael Goulet-33/+28
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-13Format all the let chains in compilerMichael Goulet-168/+252
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-11Auto merge of #115948 - notriddle:notriddle/logo-lockup, r=fmeasebors-0/+3
2023-10-08rustdoc: remove rust logo from non-Rust cratesMichael Howell-0/+3
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-06Auto merge of #114811 - estebank:impl-ambiguity, r=wesleywiserbors-1/+1
2023-10-04Point to where missing return type should goMichael Goulet-5/+5
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-21/+9
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-46/+2
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/+14
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