summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2022-10-29Add normalize hack backMichael Goulet-2/+13
2022-10-29Fix line numbers for MIR inlined codeWesley Wiser-1/+3
2022-10-06Revert "Auto merge of #101620 - cjgillot:compute_lint_levels_by_def, r=oli-obk"Camille GILLOT-142/+174
2022-10-04Fix wrongly refactored Lift implOli Scherer-1/+4
2022-10-04Add AscribeUserTypeProvePredicateJack Huey-0/+5
2022-10-04Add to_constraint_category to ObligationCause and SubregionOriginJack Huey-0/+8
2022-10-04Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-4/+7
2022-09-17Auto merge of #101857 - lcnr:make-dyn-again, r=jackh726bors-17/+13
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-67/+120
2022-09-16Auto merge of #101902 - jackh726:revert-static-hrtb-error, r=nikomatsakisbors-20/+4
2022-09-16Revert "Better errors for implied static bound"Jack Huey-20/+4
2022-09-16Rollup merge of #101787 - compiler-errors:cache-rpitit, r=petrochenkovDylan DPC-2/+3
2022-09-15nitsb-naber-0/+1
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
2022-09-15Auto merge of #101858 - oli-obk:lift_derive, r=lcnrbors-887/+90
2022-09-15Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer-41/+13
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-109/+15
2022-09-15change `FnMutDelegate` to trait objectslcnr-17/+13
2022-09-15derive TypeVisitable and TypeFoldable for mir typesOli Scherer-312/+25
2022-09-15Derive TypeFoldable and TypeVisitable for mir::PlaceElementOli Scherer-32/+1
2022-09-15Resolve a FIXMEOli Scherer-8/+4
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-385/+32
2022-09-15Auto merge of #101173 - jyn514:simplify-macro-arguments, r=cjgillotbors-22/+13
2022-09-15Auto merge of #101620 - cjgillot:compute_lint_levels_by_def, r=oli-obkbors-174/+142
2022-09-14cache collect_trait_impl_trait_tysMichael Goulet-2/+3
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-20/+88
2022-09-14Remove unused tool_name.Camille GILLOT-2/+0
2022-09-14Move some code and add comments.Camille GILLOT-220/+88
2022-09-14Allow query system to recover a HirId.Camille GILLOT-6/+32
2022-09-14Compute `lint_levels` by definitionDeadbeef-36/+112
2022-09-14address review againb-naber-16/+18
2022-09-14Rollup merge of #101433 - jackh726:better-static-placeholder-error, r=compile...Dylan DPC-5/+35
2022-09-14Auto merge of #101307 - jyn514:simplify-storage, r=cjgillotbors-58/+51
2022-09-13Better errors for implied static boundJack Huey-5/+35
2022-09-13Address code review commentsEric Holk-6/+5
2022-09-13Auto merge of #101777 - matthiaskrgr:rollup-x2dyaa2, r=matthiaskrgrbors-0/+10
2022-09-13Rollup merge of #101765 - GuillaumeGomez:tyctxt-visibility-doc, r=jyn514Matthias Krüger-0/+10
2022-09-13Auto merge of #101086 - cjgillot:thir-param, r=oli-obkbors-17/+28
2022-09-13Also compute implicit params in THIR.Camille GILLOT-3/+5
2022-09-13Compute explicit MIR params on THIR.Camille GILLOT-0/+25
2022-09-13Only keep one version of ImplicitSelfKind.Camille GILLOT-17/+1
2022-09-13address reviewb-naber-11/+3
2022-09-13remove visit_const from mir visitorsb-naber-17/+13
2022-09-13fixes/working versionb-naber-1/+5
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-40/+98
2022-09-13Auto merge of #101615 - compiler-errors:rpitit-perf, r=oli-obkbors-2/+2
2022-09-13Add documentation for TyCtxt::visibilityGuillaume Gomez-0/+10
2022-09-13Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errorsbors-1/+1
2022-09-13Auto merge of #99556 - davidtwco:collapse-debuginfo, r=wesleywiserbors-1/+18