about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
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-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
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
2023-08-18Auto merge of #114611 - nnethercote:type-system-chess, r=compiler-errorsbors-1/+23
2023-08-15Rollup merge of #114819 - estebank:issue-78124, r=compiler-errorsMatthias Krüger-18/+68
2023-08-15Rollup merge of #114644 - compiler-errors:lt-err, r=wesleywiserMatthias Krüger-1/+6
2023-08-14Move scrutinee `HirId` into `MatchSource::TryDesugar`Esteban Küber-7/+5
2023-08-14Point at return type when it influences non-first `match` armEsteban Küber-15/+67
2023-08-12Don't crash when reporting nice region errors for generic const itemsLeón Orell Valerian Liehr-17/+7