about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2023-05-26print const and type errors in braces not square bracketsBoxy-1/+1
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-13/+12
2023-05-24Split out opaque from type_ofMichael Goulet-305/+303
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-13/+12
2023-05-24Rollup merge of #111861 - compiler-errors:rtn-in-super, r=jackh726Matthias Krüger-0/+2
2023-05-23Rollup merge of #111853 - compiler-errors:opaque-check, r=oli-obkDylan DPC-4/+5
2023-05-23Don't ICE on RPITIT when promoting trait preds to associated type boundsMichael Goulet-0/+2
2023-05-22Check opaques for mismatch during writebackMichael Goulet-4/+5
2023-05-22Structurally normalize in the new solverMichael Goulet-22/+54
2023-05-18Rollup merge of #111686 - cjgillot:no-foreign-item, r=compiler-errorsDylan DPC-5/+0
2023-05-18Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkinDylan DPC-8/+8
2023-05-17Retire is_foreign_item query.Camille GILLOT-5/+0
2023-05-17Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-deadDylan DPC-4/+3
2023-05-17Emits E0599 when meeting MyTrait::missing_methodmu001999-4/+3
2023-05-17Rollup merge of #111648 - Nilstrieb:language-items, r=WaffleLapkinDylan DPC-3/+1
2023-05-16Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger-1/+1
2023-05-16Remove `LangItems::require`Nilstrieb-3/+1
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-8/+8
2023-05-15Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger-11/+12
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-11/+12
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-4/+4
2023-05-14Rename const error methods for consistencyMichael Goulet-4/+4
2023-05-13Handle error body when in generator layoutclubby789-1/+1
2023-05-12Add a convenience functionOli Scherer-8/+1
2023-05-12Invert `IgnoreRegions` to `CheckRegions`Oli Scherer-4/+4
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-11/+23
2023-05-11Rollup merge of #106038 - aliemjay:opaque-implied, r=lcnrMichael Goulet-3/+14
2023-05-09Rollup merge of #111215 - BoxyUwU:resolve_anon_consts_differently, r=cjgillotMatthias Krüger-14/+17
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-4/+39
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-29/+54
2023-05-08Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8KiYuki Okushi-5/+6
2023-05-08Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar...bors-18/+30
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-38/+101
2023-05-07use implied bounds when checking opaque typesAli MJ Al-Nasrawy-3/+14
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-18/+30
2023-05-06Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger-233/+91
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-3/+16
2023-05-05misc nameres changes for anon constsBoxy-14/+17
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-1/+23
2023-05-05remove unnecessary attribute from a diagnosticTakayuki Maeda-1/+0
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-233/+91
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-5/+6
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-29/+54
2023-05-04Auto merge of #111174 - matthiaskrgr:rollup-ncnqivh, r=matthiaskrgrbors-1/+30
2023-05-04Rollup merge of #110859 - compiler-errors:no-negative-drop-impls, r=oli-obkMatthias Krüger-1/+30
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-10/+15
2023-05-03Error message for ambiguous RTN from super boundsMichael Goulet-3/+23
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-11/+11
2023-05-03Support RTN on associated methods from supertraitsMichael Goulet-27/+70