about summary refs log tree commit diff
path: root/compiler
AgeCommit message (Expand)AuthorLines
2022-02-02Auto merge of #93594 - matthiaskrgr:rollup-lcvhpdv, r=matthiaskrgrbors-251/+324
2022-02-02Rollup merge of #93592 - est31:remove_unused_deps, r=bjorn3Matthias Krüger-1/+0
2022-02-02Rollup merge of #93590 - est31:let_else, r=lcnrMatthias Krüger-226/+208
2022-02-02Rollup merge of #93574 - compiler-errors:bad-let-suggestion, r=lcnrMatthias Krüger-8/+16
2022-02-02Rollup merge of #93571 - compiler-errors:better-where-suggestion, r=lcnrMatthias Krüger-9/+38
2022-02-02Rollup merge of #93546 - tmiasko:validate-switch-int, r=oli-obkMatthias Krüger-0/+18
2022-02-02Rollup merge of #93221 - alyssaverkade:fix-93093, r=wesleywiserMatthias Krüger-6/+26
2022-02-02Rollup merge of #92528 - tmiasko:combine-commutative, r=michaelwoeristerMatthias Krüger-1/+18
2022-02-02fix ICE when parsing lifetime as function argumentMichael Goulet-11/+19
2022-02-02Fix some doctests where the main function returns an opaque typeOli Scherer-0/+5
2022-02-02Remove unused dep from rustc_arenaest31-1/+0
2022-02-02More let_else adoptionsest31-226/+208
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-02Avoid an ICE in the presence of HKLOli Scherer-0/+4
2022-02-02run rustfmtOli Scherer-7/+9
2022-02-02Reduce follow-up errors that are not helpfulOli Scherer-3/+9
2022-02-02Bail out early if there already were errorsOli Scherer-10/+5
2022-02-02Make the error for opaque types that have no hidden types a bit informativeOli Scherer-1/+6
2022-02-02Make a span more usefulOli Scherer-0/+1
2022-02-02Guess head span of async blocksOli Scherer-0/+1
2022-02-02Hide further opaque type errors if items that could constrain the opaque type...Oli Scherer-1/+6
2022-02-02Undo a change that is now unnecessaryOli Scherer-4/+4
2022-02-02Remove a now-useless fieldOli Scherer-12/+6
2022-02-02Remove some unused arguments and update a commentOli Scherer-8/+7
2022-02-02Make a comment more obviousOli Scherer-2/+4
2022-02-02manual formattingOli Scherer-1/+1
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-02Fixup changes that aren't neccessary anymoreOli Scherer-7/+2
2022-02-02This can't happen anymore. An opaque type can't end up with itself as its hid...Oli Scherer-37/+4
2022-02-02We're equating hidden types eagerly nowOli Scherer-4/+0
2022-02-02Add explanation for early abort in TAIT hidden type computationOli Scherer-0/+9
2022-02-02Add backcompat hack to supportOli Scherer-16/+28
2022-02-02Clean up leftovers from eager hidden type mergingOli Scherer-109/+34
2022-02-02Eagerly merge hidden types.Oli Scherer-35/+45
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-44/+29
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-701/+1074
2022-02-02More sanity checksOli Scherer-2/+7
2022-02-02Expose current span to type equality checking in nllOli Scherer-0/+15
2022-02-02Found suspicious comparison of constantsOli Scherer-0/+3
2022-02-02Update some commentsOli Scherer-5/+1
2022-02-02Add some sanity assertions to make sure we use the opaque types correctlyOli Scherer-2/+14
2022-02-02Add roll back infrastructure for opaque type cachesOli Scherer-37/+113