about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2022-10-16Auto merge of #102334 - compiler-errors:rpitit-substs-issue, r=cjgillotbors-19/+64
2022-10-16Auto merge of #102931 - camsteffen:inline-overlapping-impls, r=cjgillotbors-6/+5
2022-10-15typosMichael Goulet-9/+9
2022-10-15Equate full fn signatures to infer all region variablesMichael Goulet-13/+33
2022-10-15Fix subst issues with RPITITMichael Goulet-6/+31
2022-10-15Auto merge of #101832 - compiler-errors:dyn-star-plus, r=eholkbors-83/+72
2022-10-14Rollup merge of #103018 - Rageking8:more-dupe-word-typos, r=TaKO8KiDylan DPC-3/+3
2022-10-14Rollup merge of #102856 - cjgillot:impl-single-check, r=petrochenkovDylan DPC-45/+36
2022-10-14Require lifetime bounds for opaque types in order to allow hidden types to ca...Oli Scherer-0/+1
2022-10-14Address nits, add test for implicit dyn-star coercion without feature gateMichael Goulet-1/+3
2022-10-14Remove CastCheckResult since it's unusedMichael Goulet-26/+5
2022-10-14float and int vars are trivially copyMichael Goulet-0/+4
2022-10-14more dupe word typosRageking8-3/+3
2022-10-14Allow dyn* upcastingMichael Goulet-2/+10
2022-10-14Make dyn* cast into a coercionMichael Goulet-60/+60
2022-10-14Auto merge of #103026 - matthiaskrgr:rollup-gfmlfkt, r=matthiaskrgrbors-5/+15
2022-10-14Rollup merge of #103008 - aliemjay:opaque-parent-substs, r=oli-obkMatthias Krüger-5/+15
2022-10-13Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errorsbors-50/+68
2022-10-13Make overlapping_impls non-genericCameron Steffen-6/+5
2022-10-13Report duplicate definition in impls with overlap check.Camille GILLOT-45/+36
2022-10-13replace ReErased with fresh region vars in opaque typesAli MJ Al-Nasrawy-5/+15
2022-10-13Rollup merge of #102765 - TaKO8Ki:follow-up-to-102708, r=compiler-errorsDylan DPC-0/+12
2022-10-12Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakisbors-26/+35
2022-10-12Auto merge of #102732 - RalfJung:assert_unsafe_precondition2, r=bjorn3bors-8/+1
2022-10-12Rollup merge of #102890 - camsteffen:adt-sized-representability, r=cjgillotDylan DPC-3/+2
2022-10-11add panic_fmt_nounwind for panicing without unwinding, and use it for panic_n...Ralf Jung-7/+0
2022-10-11rename rustc_allocator_nounwind to rustc_nounwindRalf Jung-1/+1
2022-10-11Rollup merge of #100387 - cjgillot:hygiene-trait-impl, r=petrochenkovMatthias Krüger-0/+3
2022-10-11Rollup merge of #102859 - cjgillot:collect-lifetimes, r=oli-obkYuki Okushi-0/+1890
2022-10-11Report duplicate definitions in trait impls during resolution.Camille GILLOT-0/+3
2022-10-10Check representability in adt_sized_constraintCameron Steffen-3/+2
2022-10-10Move lifetime resolution module to rustc_hir_analysis.Camille GILLOT-0/+1890
2022-10-10Fix compiler docsGuillaume Gomez-5/+19
2022-10-10Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8KiYuki Okushi-6/+6
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-6/+6
2022-10-08Auto merge of #102809 - matthiaskrgr:rollup-qq62vuv, r=matthiaskrgrbors-5/+15
2022-10-08Rollup merge of #101520 - oli-obk:transmute_lifetimes, r=compiler-errorsMatthias Krüger-5/+15
2022-10-08Auto merge of #100720 - camsteffen:representable, r=cjgillotbors-26/+3
2022-10-07Check hidden types in dead codeOli Scherer-20/+38
2022-10-07Remap hidden types from typeck before storing them in the TypeckResultOli Scherer-1/+10
2022-10-07Unconditionally encode hidden types in typeck resultsOli Scherer-38/+29
2022-10-07Auto merge of #102787 - Dylan-DPC:rollup-fvbb4t9, r=Dylan-DPCbors-2/+4
2022-10-07Allow transmutes between the same types after erasing lifetimesOli Scherer-5/+15
2022-10-07Rewrite representabilityCameron Steffen-26/+3
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-1102/+1057
2022-10-07fix a ICE #102768Takayuki Maeda-2/+4
2022-10-07Remove a reference from InheritedCameron Steffen-13/+13
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-15/+19
2022-10-07Introduce TypeErrCtxtCameron Steffen-57/+89
2022-10-07Rollup merge of #102720 - lyming2007:issue-102397-fix, r=compiler-errorsMatthias Krüger-1/+1