about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-31/+94
2025-01-03Report impl has stricter requirements even when RPITIT inference gets in the wayMichael Goulet-0/+20
2025-01-02Fix macro shenanigansMichael Goulet-2/+11
2025-01-02Make suggestion verbose and tweak error messageMichael Goulet-2/+2
2025-01-02Suppress type param suggestion if encountering invalid const inferMichael Goulet-23/+52
2025-01-02Unconditionally lower generic_arg_inferMichael Goulet-1/+16
2025-01-02More refined spans for placeholder error in const/staticMichael Goulet-2/+11
2025-01-02Remove diagnostic_only_typeck and fix placeholder suggestion for const/staticMichael Goulet-1/+1
2025-01-02nit: Make get_infer_ret_ty name more consistent with is_suggestable_infer_tyMichael Goulet-2/+2
2025-01-01Rollup merge of #135000 - compiler-errors:opaque-captures-dupe, r=lqdMatthias Krüger-1/+4
2025-01-01Fix ICE when opaque captures a duplicated/invalid lifetimeMichael Goulet-1/+4
2024-12-31add guard patterns to HIR and implement loweringMax Niederman-1/+4
2024-12-30Auto merge of #134757 - RalfJung:const_swap, r=scottmcmbors-1/+3
2024-12-27Move `{widening, carrying}_mul` to an intrinsic with fallback MIRScott McMurray-0/+5
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-1/+3
2024-12-25Use PostBorrowckAnalysis in check_coroutine_obligationsMichael Goulet-8/+15
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-9/+16
2024-12-20Explain why a type is not eligible for `impl PointerLike`.Kevin Reid-31/+69
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-44/+5
2024-12-19Auto merge of #134499 - jieyouxu:rollup-zmaveur, r=jieyouxubors-11/+11
2024-12-19Auto merge of #133961 - lcnr:borrowck-cleanup, r=jackh726bors-9/+17
2024-12-19Rename Scope.id to Scope.local_id, remove trivial accessorMichael Goulet-11/+11
2024-12-18introduce `LateParamRegionKind`lcnr-9/+17
2024-12-18Rollup merge of #133926 - compiler-errors:const-conditions, r=lcnr许杰友 Jieyou Xu (Joe)-15/+33
2024-12-18Fix const conditions for RPITITsMichael Goulet-15/+33
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-32/+18
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-2/+2
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-2/+2
2024-12-14Rollup merge of #134264 - adetaylor:weak-and-nonnull, r=compiler-errorsMatthias Krüger-1/+29
2024-12-14Rollup merge of #134259 - compiler-errors:infer-ret-ty, r=dtolnayMatthias Krüger-85/+94
2024-12-14Rollup merge of #133392 - compiler-errors:object-sup, r=lcnrMatthias Krüger-151/+145
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-2/+2
2024-12-14Arbitrary self types v2: Weak, NonNull hintsAdrian Taylor-1/+29
2024-12-14Auto merge of #134185 - compiler-errors:impl-trait-in-bindings, r=oli-obkbors-1/+51
2024-12-14Auto merge of #134294 - matthiaskrgr:rollup-anh6io8, r=matthiaskrgrbors-4/+25
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-1/+51
2024-12-14Rollup merge of #134265 - compiler-errors:ty_def_id, r=oli-obkMatthias Krüger-3/+2
2024-12-14Rollup merge of #134262 - adetaylor:revert-diagnostics, r=compiler-errorsMatthias Krüger-1/+23
2024-12-14Rollup merge of #134256 - krtab:suggestion_overlapping, r=petrochenkovMatthias Krüger-3/+4
2024-12-13Auto merge of #134269 - matthiaskrgr:rollup-fkshwux, r=matthiaskrgrbors-0/+43
2024-12-13Rename ty_def_id so people will stop using it by accidentMichael Goulet-3/+2
2024-12-13Rollup merge of #134140 - compiler-errors:unsafe-binders-ast, r=oli-obkMatthias Krüger-0/+43
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-9/+10
2024-12-13Arbitrary self types v2: adjust diagnostic.Adrian Taylor-1/+23
2024-12-13Clean up infer_return_ty_for_fn_sigMichael Goulet-85/+94
2024-12-13Use a more precise span in placeholder_type_error_diagArthur Carcano-3/+4
2024-12-12Auto merge of #132961 - adetaylor:arbitrary-self-types-the-big-bit, r=compile...bors-21/+47
2024-12-12Move impl constness into impl trait headerOli Scherer-9/+10
2024-12-12Lower AST and resolve lifetimes for unsafe binder typesMichael Goulet-0/+43
2024-12-12Rollup merge of #134070 - oli-obk:push-nquzymupzlsq, r=jieyouxuMatthias Krüger-44/+74