about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-10-04Rollup merge of #147251 - jackh726:global-cache-non-concurrent-change, r=lcnrMatthias Krüger-2/+3
2025-10-03Do not assert that a change in global cache only happens when concurrentjackh726-2/+3
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-25/+130
2025-09-30Split Bound into Canonical and Boundjackh726-25/+130
2025-09-30Rollup merge of #147109 - BoxyUwU:rename_concrete_opaques, r=lcnrStuart Cook-2/+2
2025-09-28remove explicit deref of AbiAlign for most methodsJubilee Young-1/+1
2025-09-28Rollup merge of #144197 - KMJ-007:type-tree, r=ZuseZ4Matthias Krüger-1/+224
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-2/+2
2025-09-27Rollup merge of #147075 - Lysxia:no-panic-def-path-hash, r=petrochenkovMatthias Krüger-1/+1
2025-09-26Make `def_path_hash_to_def_id` not panic when passed an invalid hashLi-yao Xia-1/+1
2025-09-26predefined opaques to `method_autoderef_steps`lcnr-1/+10
2025-09-26predefined opaques use `List`lcnr-6/+5
2025-09-25Auto merge of #147019 - Zalathar:rollup-boxzbmo, r=Zalatharbors-0/+26
2025-09-25Rollup merge of #146667 - calebzulawski:simd-mono-lane-limit, r=lcnr,RalfJungStuart Cook-0/+26
2025-09-25Auto merge of #147003 - matthiaskrgr:rollup-b5z9uiz, r=matthiaskrgrbors-2/+1
2025-09-24Rollup merge of #146753 - tiif:unsatisfiable-unstable-feature, r=BoxyUwUMatthias Krüger-2/+1
2025-09-24Rollup merge of #146857 - tnuha:revert_self_has_no_region_infer, r=lcnrMatthias Krüger-1/+10
2025-09-24Improve the pretty print of UnstableFeature clausetiif-2/+1
2025-09-23Add an attribute to check the number of lanes in a SIMD vector after monomorp...Caleb Zulawski-0/+26
2025-09-23revert change removing `has_infer` check. Commit conservatively patches for n...ash-1/+10
2025-09-21Add panic=immediate-abortBen Kimock-4/+4
2025-09-19autodiff: typetree recursive depth query from enzyme with fallbackKaran Janthe-14/+7
2025-09-19autodiff: recurion added for typetreeKaran Janthe-8/+68
2025-09-19autodiff: fixed test to be more precise for type tree checkingKaran Janthe-27/+9
2025-09-19autodiff: struct support in typetreeKaran Janthe-0/+32
2025-09-19autodiff: tuple support in typetreeKaran Janthe-0/+36
2025-09-19autodiff: slice support in typetreeKaran Janthe-0/+7
2025-09-19autodiff: add TypeTree support for arraysKaran Janthe-1/+41
2025-09-19added typetree support for memcpyKaran Janthe-2/+2
2025-09-19Add TypeTree metadata attachment for autodiffKaran Janthe-13/+6
2025-09-19autodiff: Add basic TypeTree with NoTT flagKaran Janthe-0/+80
2025-09-18Rollup merge of #146597 - modhanami:add-struct-tail-recursion-limit-span, r=o...Matthias Krüger-5/+17
2025-09-18Rollup merge of #146694 - camsteffen:impl-subject, r=compiler-errorsStuart Cook-30/+0
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-25/+19
2025-09-17Remove ImplSubjectCameron Steffen-30/+0
2025-09-17Remove `DynKind`León Orell Valerian Liehr-25/+19
2025-09-16Add span for struct tail recursion limit errorTawan Muadmuenwai-5/+17
2025-09-15remove FIXME from `has_significant_drop`, replaced with checking non_region_i...ash-8/+1
2025-09-12Don't store defaultness for inherent impl itemsCameron Steffen-1/+4
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-47/+59
2025-09-12Introduce hir::ImplItemImplKindCameron Steffen-16/+10
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-12/+12
2025-09-12Introduce trait_item_ofCameron Steffen-0/+9
2025-09-12Auto merge of #146329 - lcnr:opaque-type-infer-alias-candidates, r=BoxyUwUbors-1/+5
2025-09-12Auto merge of #146328 - zetanumbers:fix-141951, r=lcnrbors-4/+1
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-1/+5
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-28/+32
2025-09-09Driveby fixesBoxy-3/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-27/+32
2025-09-08fixup limit handling codeJana Dönszelmann-4/+6