summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2025-05-08Rollup merge of #140684 - compiler-errors:unnecessary-assoc, r=lcnrMatthias Krüger-7/+23
2025-05-08Rollup merge of #140769 - Zoxc:fix-140731, r=oli-obkMatthias Krüger-5/+5
2025-05-08Rollup merge of #140523 - compiler-errors:late-early-mismatch, r=jackh726Matthias Krüger-45/+299
2025-05-07Add `DefPathData::OpaqueLifetime` to avoid conflicts for remapped opaque life...John Kåre Alsaker-5/+5
2025-05-07Better error message for late/early lifetime param mismatchMichael Goulet-3/+234
2025-05-07ReviewMichael Goulet-5/+20
2025-05-07Point out region bound mismatches in check_region_bounds_on_impl_itemMichael Goulet-43/+66
2025-05-07Only include associated type bounds for Self:Sized associated types if they a...Michael Goulet-4/+5
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-3/+3
2025-05-05Rollup merge of #140672 - compiler-errors:deeply-normalize, r=lcnrGuillaume Gomez-8/+39
2025-05-05Rollup merge of #140374 - compiler-errors:global_asm-bug, r=lcnrGuillaume Gomez-1/+1
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-8/+39
2025-05-05Rename Instance::new to Instance::new_raw and add a note that it is rawMichael Goulet-1/+1
2025-05-05Auto merge of #140453 - Zoxc:next-disambiguator, r=oli-obkbors-9/+25
2025-05-04Add comment on creation of lifetime inside opaque typesJohn Kåre Alsaker-0/+4
2025-05-02resolve: Support imports of associated types and glob imports from traitsVadim Petrochenkov-16/+18
2025-04-29Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwUTrevor Gross-33/+61
2025-04-29Remove global `next_disambiguator` state and handle it with a `DisambiguatorS...John Kåre Alsaker-9/+21
2025-04-28Rollup merge of #140302 - compiler-errors:inline_asm-bug, r=lcnrChris Denton-564/+0
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-14/+14
2025-04-28Add or-patterns to pattern typesOli Scherer-3/+18
2025-04-28Split out various pattern type matches into their own functionOli Scherer-6/+15
2025-04-28Separate pattern lowering from pattern type loweringOli Scherer-24/+28
2025-04-27Move inline_asm to typeck, properly handle aliasesMichael Goulet-564/+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-14/+12
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-14/+12
2025-04-26Remove redundant checkmejrs-1/+0
2025-04-25Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnrMatthias Krüger-1/+1
2025-04-24check types of const param defaultlcnr-0/+33
2025-04-24Remove `weak` alias terminologyBoxy-14/+14
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-35/+27
2025-04-20Don't compute name of associated item if it's an RPITITMichael Goulet-10/+10
2025-04-18Rollup merge of #138528 - dianne:implicit-deref-patterns, r=NadrierilMatthias Krüger-3/+7
2025-04-16respect the tcx's recursion limit when peelingdianne-3/+7
2025-04-17Rollup merge of #139770 - nnethercote:rename-LifetimeName, r=BoxyUwUMatthias Krüger-24/+24
2025-04-16Rename `LifetimeName` as `LifetimeKind`.Nicholas Nethercote-24/+24
2025-04-15Don't compute name of associated item if it's an RPITITMichael Goulet-2/+1
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-196/+224
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-188/+220
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-49/+55
2025-04-15Move two methods from `AssocKind` to `AssocItem`.Nicholas Nethercote-3/+3
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-21/+24
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-5/+2
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-122/+145
2025-04-14Auto merge of #124141 - nnethercote:rm-Nonterminal-and-TokenKind-Interpolated...bors-1/+0
2025-04-11Rollup merge of #137447 - folkertdev:simd-extract-insert-dyn, r=scottmcmStuart Cook-2/+6