about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-25/+130
2025-10-02Auto merge of #147055 - beepster4096:subtype_is_not_a_projection, r=lcnrbors-28/+14
2025-09-30Split Bound into Canonical and Boundjackh726-25/+130
2025-09-30Rollup merge of #147109 - BoxyUwU:rename_concrete_opaques, r=lcnrStuart Cook-8/+7
2025-09-29more renameBoxy Uwu-3/+3
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-2/+224
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-8/+7
2025-09-27Rollup merge of #147075 - Lysxia:no-panic-def-path-hash, r=petrochenkovMatthias Krüger-2/+2
2025-09-27Auto merge of #146636 - Mark-Simulacrum:bootstrap-bump, r=jieyouxubors-1/+0
2025-09-27Auto merge of #147074 - matthiaskrgr:rollup-sm3owsd, r=matthiaskrgrbors-7/+1
2025-09-26Apply cfg(bootstrap) replacementMark Rousskov-1/+0
2025-09-26Make `def_path_hash_to_def_id` not panic when passed an invalid hashLi-yao Xia-2/+2
2025-09-26Rollup merge of #146704 - jdonszelmann:port-debug-visualizer, r=petrochenkovMatthias Krüger-7/+1
2025-09-26allow method calls on opaqueslcnr-0/+1
2025-09-26predefined opaques to `method_autoderef_steps`lcnr-5/+24
2025-09-26predefined opaques use `List`lcnr-50/+7
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-28/+14
2025-09-25Auto merge of #147019 - Zalathar:rollup-boxzbmo, r=Zalatharbors-0/+38
2025-09-25Rollup merge of #146667 - calebzulawski:simd-mono-lane-limit, r=lcnr,RalfJungStuart Cook-0/+38
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 #146969 - RalfJung:maybe-null-errors, r=oli-obkMatthias Krüger-4/+3
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-24const validation: better error for maybe-null referencesRalf Jung-0/+2
2025-09-24const-eval: improve and actually test the errors when pointers might be outsi...Ralf Jung-4/+1
2025-09-23Add an attribute to check the number of lanes in a SIMD vector after monomorp...Caleb Zulawski-0/+38
2025-09-23revert change removing `has_infer` check. Commit conservatively patches for n...ash-1/+10
2025-09-21port `#[debugger_visualizer]` to the new attribute systemJana Dönszelmann-7/+1
2025-09-21Add panic=immediate-abortBen Kimock-4/+5
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-1/+80
2025-09-18Rollup merge of #146597 - modhanami:add-struct-tail-recursion-limit-span, r=o...Matthias Krüger-5/+19
2025-09-18Rollup merge of #146434 - folkertdev:c-variadic-inherent-methods, r=workingju...Matthias Krüger-0/+6
2025-09-18Rollup merge of #146694 - camsteffen:impl-subject, r=compiler-errorsStuart Cook-38/+1
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-25/+19
2025-09-18Rollup merge of #146566 - cjgillot:mir-overlap-lint, r=saethlinStuart Cook-0/+17
2025-09-17Remove ImplSubjectCameron Steffen-38/+1
2025-09-17Lint overlapping assignments in MIR.Camille Gillot-0/+17
2025-09-17Rollup merge of #146647 - jdonszelmann:move-coherence-is-core, r=urgauJana Dönszelmann-1/+1
2025-09-17port `#[rustc_coherence_is_core]` to the new attribute parsing infrastructureJana Dönszelmann-1/+1