about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2022-02-02run rustfmtOli Scherer-7/+9
2022-02-02Simplify diffOli Scherer-2/+2
2022-02-02Undo a diffOli Scherer-2/+2
2022-02-02Inline a function that is only used onceOli Scherer-53/+39
2022-02-02Remove unnecessary fieldOli Scherer-24/+12
2022-02-02Remove unnecessary closure in favour of just passing the argument directlyOli Scherer-17/+20
2022-02-02Remove the `Instantiator` now that we don't recurse within it anymoreOli Scherer-28/+19
2022-02-02Inline a function that is only ever used in one placeOli Scherer-68/+2
2022-02-02Clean up leftovers from eager hidden type mergingOli Scherer-65/+10
2022-02-02Eagerly merge hidden types.Oli Scherer-32/+42
2022-02-02Stop generating inference vars for nested impl trait and let type equality ha...Oli Scherer-16/+0
2022-02-02Register member constraints on the final merged hidden typeOli Scherer-7/+6
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-220/+571
2022-02-02More sanity checksOli Scherer-2/+7
2022-02-02Expose current span to type equality checking in nllOli Scherer-0/+7
2022-02-02Add some sanity assertions to make sure we use the opaque types correctlyOli Scherer-1/+11
2022-02-02Add roll back infrastructure for opaque type cachesOli Scherer-29/+102
2022-02-01Auto merge of #93285 - JulianKnodt:const_eq_2, r=oli-obkbors-0/+20
2022-02-01Fix w/ commentskadmin-4/+10
2022-01-31Add ValuePairs::Terms & Fix compile errorkadmin-10/+4
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-28Only suggest 1-tuple if expected and found types matchRob Pilling-20/+28
2022-01-28Handle existing parentheses when suggesting trailing-tuple-commaRob Pilling-8/+21
2022-01-28Replace span suggestion with multipartRob Pilling-12/+8
2022-01-28Suggest 1-tuple parentheses, without existing parensRob Pilling-10/+10
2022-01-28Remove generalization over projectionkadmin-0/+20
2022-01-26do not register infer var for GAT projection in opaqueMichael Goulet-7/+9
2022-01-25Auto merge of #93095 - Aaron1011:remove-assoc-ident, r=cjgillotbors-4/+4
2022-01-21Remove a span from hir::ExprKind::MethodCallCameron Steffen-5/+5
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-4/+4
2022-01-19Simplify error reporting code, remove await point wordingTyler Mandry-131/+33
2022-01-19NiceRegionError: Use written return type for async fnTyler Mandry-25/+34
2022-01-19Properly account for binders in get_impl_future_output_tyTyler Mandry-11/+18
2022-01-18Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obkbors-6/+7
2022-01-18Rollup merge of #92640 - compiler-errors:array-deref-on-newtype, r=lcnrMatthias Krüger-6/+3
2022-01-17Add term to ExistentialProjectionkadmin-6/+2
2022-01-17Update term for use in more placeskadmin-8/+3
2022-01-17Use Term in ProjectionPredicatekadmin-9/+19
2022-01-16Only suggest char literal for single-character stringschordtoll-1/+1
2022-01-16Replace NestedVisitorMap with NestedFilterCameron Steffen-22/+18
2022-01-16Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakisMatthias Krüger-1/+3
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-63/+28
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-15/+8
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-7/+8
2022-01-15Rollup merge of #92743 - bjorn3:less_symbol_intern, r=camelidMatthias Krüger-4/+4
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-6/+3
2022-01-15initial revertEllen-66/+34
2022-01-14Rollup merge of #92045 - oli-obk:cleanup, r=petrochenkovMatthias Krüger-32/+36
2022-01-13Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikoma...Matthias Krüger-4/+16
2022-01-12Canonicalize const variables correctlyMichael Goulet-6/+3