about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2025-01-08Don't allow transmuting ZSTs in dispatch_from_dyn implMichael Goulet-4/+13
2025-01-06Rollup merge of #134742 - compiler-errors:post-borrowck-analysis, r=lcnrMatthias Krüger-8/+15
2025-01-06footnote to ordinary commentlcnr-15/+15
2025-01-04Rollup merge of #135046 - RalfJung:rustc_box_intrinsic, r=compiler-errorsJubilee-0/+3
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-15/+15
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-15/+15
2025-01-04Rollup merge of #135055 - compiler-errors:rpitit-infer-in-stricter-impl, r=es...Matthias Krüger-0/+20
2025-01-04Auto merge of #135057 - compiler-errors:project-unconstrained, r=oli-obkbors-31/+94
2025-01-03turn rustc_box into an intrinsicRalf Jung-0/+3
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-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-1/+1
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/+23
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/+23
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/+19
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/+17
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