about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-02-08Rollup merge of #92715 - chordtoll:empty-string, r=davidtwcoMatthias Krüger-1/+1
2022-02-08Rollup merge of #93728 - JulianKnodt:toterm, r=oli-obkMatthias Krüger-43/+63
2022-02-07Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakisbors-283/+602
2022-02-07Rm ValuePairs::Ty/Constkadmin-42/+50
2022-02-07Rollup merge of #91530 - bobrippling:suggest-1-tuple-parens, r=camelidMara Bos-13/+37
2022-02-07Add in ValuePair::Termkadmin-10/+22
2022-02-06Merge duplicate suggestion stringRob Pilling-7/+4
2022-02-06Factor out emit_tuple_wrap_err, improve ApplicabilityRob Pilling-29/+39
2022-02-03Clean up opaque type obligations in query resultsOli Scherer-8/+7
2022-02-02Only prevent TAITs from defining each other, RPIT and async are fine, they on...Oli Scherer-1/+8
2022-02-02Prevent two opaque types in their defining scopes from being defined via the ...Oli Scherer-41/+63
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/+574
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-2/+26
2022-02-01Fix w/ commentskadmin-4/+10
2022-02-01add a rustc::query_stability lintlcnr-0/+1
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-2/+26
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