about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-06-07intrinsics: use const generic to set atomic orderingRalf Jung-31/+28
2025-06-06Rollup merge of #142103 - scottmcm:fieldidx-in-interp, r=oli-obkGuillaume Gomez-1/+1
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-16/+14
2025-06-05Remove CollectItemTypesVisitorOli Scherer-6/+4
2025-06-05wfcheck closuresOli Scherer-1/+13
2025-06-05Move generic arg checks from the hir item types visitor to ty wfcheckOli Scherer-1/+23
2025-06-05Move opaque type checks from the hir item types visitor onto the wfcheck of t...Oli Scherer-0/+11
2025-06-03Run wfcheck in one big loop instead of per moduleOli Scherer-7/+6
2025-05-31Auto merge of #139118 - scottmcm:slice-get-unchecked-intrinsic, r=workingjubileebors-0/+1
2025-05-31Rollup merge of #141740 - nnethercote:hir-ItemKind-field-order, r=fee1-deadMatthias Krüger-12/+10
2025-05-30`slice.get(i)` should use a slice projection in MIR, like `slice[i]` doesScott McMurray-0/+1
2025-05-30Rollup merge of #141507 - RalfJung:atomic-intrinsics, r=bjorn3Matthias Krüger-6/+7
2025-05-30Reorder fields in `hir::ItemKind` variants.Nicholas Nethercote-12/+10
2025-05-29Auto merge of #141717 - jhpratt:rollup-neu8nzl, r=jhprattbors-14/+1
2025-05-29Rollup merge of #141638 - oli-obk:builtin-index, r=lcnrJacob Pratt-2/+1
2025-05-29Rollup merge of #136429 - fmease:gci-fix-def-site-checks, r=BoxyUwUJacob Pratt-8/+33
2025-05-28atomic_load intrinsic: use const generic parameter for orderingRalf Jung-6/+7
2025-05-28Stabilise `repr128`beetrees-14/+1
2025-05-28GCI: Check where-clauses for well-formedness at the def siteLeón Orell Valerian Liehr-8/+33
2025-05-28Use `builin_index` instead of hand-rolling itOli Scherer-2/+1
2025-05-27Rename unpack to kindMichael Goulet-7/+7
2025-05-26RenameMichael Goulet-1/+1
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-1/+1
2025-05-19Rollup merge of #140874 - mejrs:rads, r=WaffleLapkinStuart Cook-6/+5
2025-05-17check coroutines with TypingMode::Borrowck to avoid cyclic reasoninglcnr-7/+13
2025-05-16Auto merge of #140557 - compiler-errors:remove-wf-hack, r=lcnrbors-56/+9
2025-05-11Rollup merge of #140792 - Urgau:minimum-maximum-intrinsics, r=scottmcm,travis...León Orell Valerian Liehr-0/+18
2025-05-09don't depend on rustc_attr_parsing if rustc_data_structures will domejrs-6/+5
2025-05-09Use intrinsics for `{f16,f32,f64,f128}::{minimum,maximum}` operationsUrgau-0/+18
2025-05-07Better error message for late/early lifetime param mismatchMichael Goulet-3/+234
2025-05-07Point out region bound mismatches in check_region_bounds_on_impl_itemMichael Goulet-43/+66
2025-05-07Remove manual WF hackMichael Goulet-56/+9
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-8/+39
2025-04-28Rollup merge of #140302 - compiler-errors:inline_asm-bug, r=lcnrChris Denton-556/+0
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-2/+2
2025-04-27Move inline_asm to typeck, properly handle aliasesMichael Goulet-556/+0
2025-04-27Auto merge of #139646 - lcnr:default-is-fully-concrete, r=BoxyUwUbors-0/+33
2025-04-26Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errorsMatthias Krüger-13/+8
2025-04-26Rollup merge of #140317 - mejrs:check_on_uni, r=compiler-errorsMatthias Krüger-1/+0
2025-04-26convert some `GenericArg` to `Term`lcnr-13/+8
2025-04-26Remove redundant checkmejrs-1/+0
2025-04-24check types of const param defaultlcnr-0/+33
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-34/+26
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-60/+61
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-52/+57
2025-04-15Rollup merge of #138374 - celinval:issue-136925-const-contract, r=compiler-er...Stuart Cook-8/+4
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-24/+26
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-15/+18