about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-6/+37
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-115/+112
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+10
2023-05-02Disallow associated type constraints on negative boundsMichael Goulet-2/+0
2023-05-02Implement negative boundsMichael Goulet-6/+29
2023-05-02Rollup merge of #110512 - compiler-errors:fix-elaboration-with-associated-typ...Dylan DPC-73/+111
2023-05-02Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwUDylan DPC-107/+156
2023-05-01Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet-6/+11
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-16/+68
2023-05-01Simplify type_parameter_bounds_in_genericsMichael Goulet-53/+34
2023-04-30Codegen fewer instructions in `mem::replace`Scott McMurray-0/+1
2023-04-28remove unused `mut`sLukas Markeffsky-1/+1
2023-04-28Auto merge of #110837 - scottmcm:offset-for-add, r=compiler-errorsbors-1/+2
2023-04-27Also use `mir::Offset` for pointer `add`Scott McMurray-1/+2
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-1/+30
2023-04-27Add a `ConstParamTy` traitMaybe Waffle-107/+156
2023-04-27rename `needs_subst` to `has_param`Boxy-6/+6
2023-04-27rename `needs_infer` to `has_infer`Boxy-4/+4
2023-04-26Rollup merge of #110835 - nnethercote:strict-region-folders-2, r=compiler-errorsMatthias Krüger-13/+8
2023-04-26Rollup merge of #108760 - clubby789:autolintstuff, r=wesleywiserMatthias Krüger-23/+56