about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2023-10-04Point to where missing return type should goMichael Goulet-5/+5
2023-10-03Rollup merge of #116358 - compiler-errors:match, r=lcnrMatthias Krüger-8/+16
2023-10-03Rollup merge of #115863 - chenyukang:yukang-add-message-tidy-check, r=davidtwcoMatthias Krüger-4/+0
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-20Cleanup unused messages in ftl filesyukang-4/+0
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-0/+20
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
2023-08-09Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.Nicholas Nethercote-1/+23
2023-08-09Point out expectation even if we have RegionsInsufficientlyPolymorphicMichael Goulet-1/+6
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-2/+2
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-2/+2
2023-08-06don't replace opaque types under binders with infer varsAli MJ Al-Nasrawy-1/+1
2023-08-04don't ICE on higher ranked hidden typesAli MJ Al-Nasrawy-0/+9
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-0/+38
2023-08-04Rollup merge of #114355 - compiler-errors:resolve_vars_early, r=lcnrMatthias Krüger-8/+2
2023-08-03Placeholder nitMichael Goulet-8/+2
2023-08-03Rework upcastingMichael Goulet-0/+38
2023-08-03fix the span in the suggestion of remove question markbohan-1/+1