summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2022-02-19Rollup merge of #93990 - lcnr:pre-89862-cleanup, r=estebankMatthias Krüger-7/+23
2022-02-18Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakisMatthias Krüger-1/+1
2022-02-18Rollup merge of #92683 - jackh726:issue-92033, r=estebankMatthias Krüger-1/+70
2022-02-18Auto merge of #94088 - oli-obk:revert, r=jackh726bors-2/+2
2022-02-17Rollup merge of #94011 - est31:let_else, r=lcnrMatthias Krüger-4/+2
2022-02-17Suggest copying trait associated type bounds on lifetime errorJack Huey-1/+70
2022-02-17Revert "Auto merge of #91403 - cjgillot:inherit-async, r=oli-obk"Oli Scherer-2/+2
2022-02-16Adopt let_else in even more placesest31-4/+2
2022-02-16allow special behavior when printing const inferlcnr-7/+23
2022-02-15Inline UnifyKey::index and UnifyKey::from_indexTomasz Miąsko-0/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-106/+99
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-1/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-165/+162
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-18/+18
2022-02-14reveal_defining_opaque_types field doesn't exist after rebaseSantiago Pastorino-1/+0
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-2/+33
2022-02-14Auto merge of #93938 - BoxyUwU:fix_res_self_ty, r=lcnrbors-1/+2
2022-02-13Rollup merge of #93810 - matthewjasper:chalk-and-canonical-universes, r=jackh726Matthias Krüger-17/+158
2022-02-12Address review commentMatthew Jasper-1/+3
2022-02-12change to a struct variantEllen-1/+2
2022-02-12Inherit lifetimes for async fn instead of duplicating them.Camille GILLOT-2/+2
2022-02-11Renumber universes when canonicalizing for ChalkMatthew Jasper-17/+156
2022-02-11Auto merge of #93893 - oli-obk:sad_revert, r=oli-obkbors-603/+283
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-602/+283
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-1/+0
2022-02-10only mark projection as ambiguous if GAT substs are constrainedMichael Goulet-1/+1
2022-02-10Remove further usage of `&hir::Map`Frank Steffahn-1/+1
2022-02-09Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obkbors-0/+1
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-0/+1
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