about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
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
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-5/+2
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-16/+16
2025-04-11Rollup merge of #137447 - folkertdev:simd-extract-insert-dyn, r=scottmcmStuart Cook-2/+6
2025-04-10add `simd_insert_dyn` and `simd_extract_dyn`Folkert de Vries-2/+6
2025-04-10Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-deadMatthias Krüger-4/+4
2025-04-10Rollup merge of #139530 - oli-obk:rustc-intrinsic-cleanup, r=RalfJungMatthias Krüger-35/+9
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-4/+4
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-23/+3
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-6/+2
2025-04-09Remove some dead or leftover code related to rustc-intrinsic abi removalOli Scherer-35/+9
2025-04-08Auto merge of #139536 - matthiaskrgr:rollup-j6goald, r=matthiaskrgrbors-3/+3
2025-04-08Fix unreachable expression warningCelina G. Val-1/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-3/+3
2025-04-08borrowck typeck children together with their parentlcnr-5/+5
2025-04-07Enable contracts for const functionsCelina G. Val-8/+4
2025-04-07Rollup merge of #139455 - Skgland:remove_rust-intrinsic_ABI, r=oli-obkStuart Cook-69/+50
2025-04-07Rollup merge of #139112 - m-ou-se:super-let, r=lcnrStuart Cook-16/+85
2025-04-07Rollup merge of #139035 - nnethercote:PatKind-Missing, r=oli-obkStuart Cook-0/+1
2025-04-07More trivial tweaksMichael Goulet-7/+4
2025-04-06remove compiler support for `extern "rust-intrinsic"` blocksSkgland-69/+50
2025-04-04Rollup merge of #139041 - nnethercote:rm-rustc_middle-ty-util-ExplicitSelf, r...Matthias Krüger-13/+22
2025-04-04Boolean hate.Mara Bos-5/+15
2025-04-04Implement `super let`.Mara Bos-16/+75
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-3/+2
2025-04-03Initial support for auto traits with default boundsBryanskiy-3/+2