about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
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-17Remove ImplSubjectCameron Steffen-6/+0
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-12/+3
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-2/+2
2025-09-12Introduce trait_item_ofCameron Steffen-0/+9
2025-09-08Move `rustc_middle::MaxUniverse` to `rustc_infer`.Nicholas Nethercote-1/+0
2025-08-25fold regions, don't eraselcnr-3/+4
2025-08-22Refactor lint buffering to avoid requiring a giant enumJosh Triplett-2/+1
2025-08-13Cleanup assoc parent utilsCameron Steffen-5/+34
2025-08-08remove unnecessary `TypeFoldable` implslcnr-0/+2
2025-08-06Add support for shortening `Instance` and use itEsteban Küber-1/+1
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-7/+16
2025-07-31Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnrJana Dönszelmann-5/+5
2025-07-31Rollup merge of #144712 - nnethercote:dedup-num-types, r=fmeaseJana Dönszelmann-53/+0
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-5/+5
2025-07-31Deduplicate `IntTy`/`UintTy`/`FloatTy`.Nicholas Nethercote-53/+0
2025-07-31Check consts in `ValidateBoundVars`.Nicholas Nethercote-2/+2
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-7/+16
2025-07-31Auto merge of #144723 - Zalathar:rollup-f9e0rfo, r=Zalatharbors-100/+3
2025-07-31Fix up size asserts.Nicholas Nethercote-12/+0
2025-07-31Move `InferVarInfo` out of `rustc_middle`.Nicholas Nethercote-13/+0
2025-07-31Remove `TyCtxt::get_attrs_unchecked`.Nicholas Nethercote-10/+2
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-6/+0
2025-07-31Move `TermVid` out of `rustc_middle`.Nicholas Nethercote-18/+0
2025-07-31Move `rustc_middle::parameterized` to `rustc_metadata`.Nicholas Nethercote-2/+0
2025-07-31Move `ParamTerm` out of `rustc_middle`.Nicholas Nethercote-15/+0
2025-07-31Move an `EarlyParamRegion` impl block.Nicholas Nethercote-9/+1
2025-07-31Move `ImplHeader` out of `rustc_middle`.Nicholas Nethercote-12/+0
2025-07-31Move `ResolverOutputs` out of `rustc_middle`.Nicholas Nethercote-5/+0
2025-07-28Tweak docsCameron Steffen-5/+4
2025-07-28Rename impl_of_method -> impl_of_assocCameron Steffen-1/+1
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-2/+2
2025-07-28Introduce assoc_parentCameron Steffen-14/+7
2025-07-28Remove TraitAlias from trait_of_itemCameron Steffen-1/+1
2025-07-26Use the new attributes throughout the codebaseJonathan Brouwer-1/+4
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Define datastructures for `#[cfg]` attribute, move StrippedCfgItemJonathan Brouwer-2/+1
2025-07-14Auto merge of #143779 - JonathanBrouwer:automatically_derived_parser, r=oli-obkbors-2/+2
2025-07-13Generalize TyCtxt::item_name.Camille GILLOT-4/+8
2025-07-12Port `#[automatically_derived]` to the new attribute parsing infrastructureJonathan Brouwer-2/+2
2025-07-09Port `#[const_trait]` to the new attribute systemPavel Grigorenko-7/+4