about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-0/+3
2022-09-22Auto merge of #100980 - compiler-errors:normalize-opaque-w-bound-vars, r=lcnrbors-0/+37
2022-09-22introduce mir::Unevaluatedb-naber-14/+9
2022-09-22Const unification is already infallible, remove the error handling logicOli Scherer-26/+11
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-0/+8
2022-09-22Comment, and bail early if bound vars list differsMichael Goulet-11/+11
2022-09-22Optimize subtyping and equation of GeneratorWitnessMichael Goulet-0/+37
2022-09-21Auto merge of #101558 - JhonnyBillM:session-diagnostic-to-diagnostic-handler-...bors-23/+23
2022-09-21FIX - adopt new Diagnostic naming in newly migrated modulesJhonny Bill Mena-21/+21
2022-09-21UPDATE - rename AddSubdiagnostic trait to AddToDiagnosticJhonny Bill Mena-1/+1
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-1/+1
2022-09-21UPDATE - move SessionDiagnostic from rustc_session to rustc_errorsJhonny Bill Mena-1/+1
2022-09-21Improve diagnostic for adding more bounds to opaque typesOli Scherer-1/+9
2022-09-21Try out a perf optimizationOli Scherer-0/+5
2022-09-21Inline substitution logic into `declared_region_bounds`Oli Scherer-29/+11
2022-09-21Also collect bounds from the ParamEnv for opaque typesOli Scherer-46/+32
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-4/+82
2022-09-21Generalize projection_must_outliveOli Scherer-14/+29
2022-09-21Generalize a helper to be useful for types other than projectionsOli Scherer-7/+7
2022-09-21Inline a trivial functionOli Scherer-25/+13
2022-09-21Some tracing instrumentation cleanupsOli Scherer-3/+2
2022-09-21Split match out into a helper functionOli Scherer-25/+34
2022-09-20Skip Equate relation in handle_opaque_typeMichael Goulet-10/+3
2022-09-20Better binder treatmentMichael Goulet-1/+1