about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2022-09-20Rollup merge of #101958 - hanar3:101666/enhance-error-message, r=oli-obkMichael Howell-2/+3
2022-09-20Auto merge of #101989 - fee1-dead-contrib:const_trait_impl-assoc-caller-bound...bors-2/+3
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-3/+23
2022-09-20Retry with inlining attributesOli Scherer-40/+3
2022-09-19Rollup merge of #101881 - TaKO8Ki:remove-unused-struct-field, r=sanxiynMatthias Krüger-6/+1
2022-09-19Incorporate feedbackmejrs-1/+30
2022-09-19`DestructuredConst` split mir and tylcnr-10/+5
2022-09-19remove `ty::Const::from_inline_const`lcnr-44/+1
2022-09-19Actually visit/fold the types inside CanonicalVarInfosOli Scherer-7/+16
2022-09-19extend polymorphization hack comment.lcnr-0/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-101/+85
2022-09-19do not implement type traversal for `EarlyBinder`lcnr-13/+8
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-4/+20
2022-09-18make projection bounds with const bounds satisfy constDeadbeef-2/+3
2022-09-18clarify that linting is not a semantic changeRalf Jung-3/+4
2022-09-18Auto merge of #101862 - cjgillot:lint-regression, r=oli-obkbors-9/+13
2022-09-17improve error message for when a query isn't supportedhanar3-3/+3
2022-09-17Rollup merge of #101713 - Bryanskiy:AccessLevels, r=petrochenkovMatthias Krüger-6/+87
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-16Add AscribeUserTypeProvePredicateJack Huey-0/+5
2022-09-16Add to_constraint_category to ObligationCause and SubregionOriginJack Huey-0/+8
2022-09-16Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-4/+7
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-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-3/+23
2022-09-16Revert TypeVisitor changesOli Scherer-10/+39
2022-09-16Rollup merge of #101787 - compiler-errors:cache-rpitit, r=petrochenkovDylan DPC-2/+3
2022-09-16remove an unused struct fieldTakayuki Maeda-6/+1
2022-09-16remap ParamEnv with obligationDeadbeef-0/+5
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-15Do not fetch HIR node when iterating to find lint.Camille GILLOT-9/+13
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