about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2022-10-27Rollup merge of #103255 - oli-obk:opaque_wrong_eq_relation, r=compiler-errorsMatthias Krüger-52/+31
2022-10-26No need to probe when relating opaques in nll_relateMichael Goulet-1/+1
2022-10-26Convert all #[suggestion_*] attributes to #[suggestion(style = "...")]Xiretza-5/+10
2022-10-26Remove unneeded sub-comparisonOli Scherer-31/+8
2022-10-26Rollup merge of #103416 - compiler-errors:rpit-named, r=cjgillotDylan DPC-11/+10
2022-10-25Name impl trait in region bound suggestionMichael Goulet-11/+10
2022-10-25Bubble the opaque type ordering int opaque type handlingOli Scherer-5/+8
2022-10-25Pull opaque type handling out of the type relating delegateOli Scherer-16/+15
2022-10-24Assert if inference vars are leaking from fully_resolveMichael Goulet-1/+6
2022-10-23Auto merge of #103345 - Nilstrieb:diag-flat, r=compiler-errorsbors-47/+48
2022-10-23Migrate all diagnosticsNilstrieb-47/+48
2022-10-23Rollup merge of #103355 - compiler-errors:rpitit-default-check, r=oli-obkMatthias Krüger-1/+13
2022-10-23Rollup merge of #103354 - clubby789:escape-string-literals, r=compiler-errorsMatthias Krüger-2/+21
2022-10-22Introduce subst_iter and subst_iter_copied on EarlyBinderMichael Goulet-6/+2
2022-10-22Properly escape quotes when suggesting switching between char/string literalsclubby789-2/+21
2022-10-21Handle RPITITs properly in register_hidden_typeMichael Goulet-1/+13
2022-10-21Rollup merge of #103051 - davidtwco:translation-tidying-up, r=compiler-errorsDylan DPC-48/+41
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-6/+6
2022-10-17Auto merge of #102355 - lcnr:bye-bye-type-traversal, r=oli-obkbors-5/+0
2022-10-17infer: use derive moreDavid Wood-48/+41
2022-10-17mir constants: type traversing bye byelcnr-5/+0
2022-10-16fix `own_substs` ICETakayuki Maeda-5/+12
2022-10-14more dupe word typosRageking8-2/+2
2022-10-13Rollup merge of #102974 - Rageking8:fix-small-word-dupe-typos, r=JohnTitorYuki Okushi-1/+1
2022-10-13fix small word dupe typosRageking8-1/+1
2022-10-10Update compiler/rustc_infer/src/infer/canonical/mod.rsNiko Matsakis-0/+3
2022-10-10errors: `AddToDiagnostic::add_to_diagnostic_with`David Wood-9/+33
2022-10-10Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8KiYuki Okushi-1/+1
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-11/+8
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-128/+92
2022-10-07Introduce TypeErrCtxtCameron Steffen-148/+190
2022-10-05Rollup merge of #102496 - compiler-errors:into-suggestion, r=davidtwcoDylan DPC-11/+18
2022-10-05stop suggesting adding generic args for turbofishTakayuki Maeda-8/+32
2022-10-05Suggest `.into()` when all other coercion suggestions failMichael Goulet-11/+18
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-14/+10
2022-09-29Shrink `hir::def::Res`.Nicholas Nethercote-2/+3
2022-09-27rustc_typeck to rustc_hir_analysislcnr-3/+3
2022-09-26remove cfg(bootstrap)Pietro Albini-2/+0
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-117/+182
2022-09-25Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726Matthias Krüger-0/+2
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-8/+9
2022-09-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-14/+9
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-9/+9
2022-09-23Auto merge of #102165 - matthiaskrgr:rollup-n5oquhe, r=matthiaskrgrbors-4/+112
2022-09-23Report diagnostics at the actually actionable siteOli Scherer-10/+5
2022-09-23Rollup merge of #101664 - mejrs:similarity, r=fee1-deadMatthias Krüger-4/+112
2022-09-22Rollup merge of #102128 - oli-obk:const_unification, r=lcnrMatthias Krüger-26/+11
2022-09-22Auto merge of #102139 - Dylan-DPC:rollup-ljlipt8, r=Dylan-DPCbors-10/+6
2022-09-22Rollup merge of #102069 - compiler-errors:no-eq-in-register-opaque, r=oli-obkDylan DPC-10/+3