about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/arena.rs
AgeCommit message (Collapse)AuthorLines
2025-09-29more renameBoxy Uwu-1/+1
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-1/+1
2025-09-26predefined opaques use `List`lcnr-1/+0
2025-08-29cleanup proof tree implementation and add cachelcnr-0/+1
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-1/+1
2025-07-15Define datastructures for `#[cfg]` attribute, move StrippedCfgItemJonathan Brouwer-1/+1
2025-07-07Remove unused allow attrsYotam Ofek-2/+0
2025-05-04Initial support for dynamically linked cratesBryanskiy-0/+2
2025-04-28AsyncDrop implementation using shim codegen of ↵Andrew Zhogin-0/+1
async_drop_in_place::{closure}, scoped async drop added.
2025-04-12Move FlagComputation, PatternKind, and TypeWalker to rustc_type_irjackh726-1/+0
2025-04-08borrowck typeck children together with their parentlcnr-1/+1
2025-02-13intern valtreesLukas Markeffsky-0/+1
2025-02-03tree-wide: parallel: Fully removed all `Lrc`, replaced with `Arc`Askar Safin-1/+1
2025-01-29upstream rustc_codegen_ssa/rustc_middle changes for enzyme/autodiffManuel Drehwald-0/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+2
`rustc_span::symbol` defines some things that are re-exported from `rustc_span`, such as `Symbol` and `sym`. But it doesn't re-export some closely related things such as `Ident` and `kw`. So you can do `use rustc_span::{Symbol, sym}` but you have to do `use rustc_span::symbol::{Ident, kw}`, which is inconsistent for no good reason. This commit re-exports `Ident`, `kw`, and `MacroRulesNormalizedIdent`, and changes many `rustc_span::symbol::` qualifiers in `compiler/` to `rustc_span::`. This is a 200+ net line of code reduction, mostly because many files with two `use rustc_span` items can be reduced to one.
2024-12-15Add hir::AttributeJonathan Dönszelmann-1/+1
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-1/+1
Stop reexporting ReprOptions from middle::ty
2024-10-27compiler: Rename LayoutS to LayoutDataJubilee Young-1/+1
The last {UninternedType}S is in captivity. The galaxy is at peace.
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-08-28coverage: `CodeRegion` is never stored in an arenaZalathar-1/+0
This might have been left over when coverage regions were stored in individual MIR statements, instead of a separate table attached to the MIR body.
2024-08-12do not use the global solver cache for proof treeslcnr-4/+0
doing so requires overwriting global cache entries and generally adds significant complexity to the solver. This is also only ever done for root goals, so it feels easier to wrap the `evaluate_canonical_goal` in an ordinary query if necessary.
2024-06-18Uplift PredefinedOpaquesDataMichael Goulet-1/+1
2024-06-16Uplift ExternalConstraintDataMichael Goulet-1/+1
2024-06-06Make middle not rely on next_trait_solverMichael Goulet-1/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
We are gonna need it to uplift EarlyBinder
2024-05-24remove proof tree formatter, make em shallowlcnr-1/+4
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-04-03Remove MIR unsafe checkMatthew Jasper-1/+0
This also remove safety information from MIR.
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-0/+1
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-1/+1
2024-02-05Rollup merge of #119600 - aDotInTheVoid:comment-fix, r=compiler-errorsMatthias Krüger-1/+1
Remove outdated references to librustc_middle The relevant comment is now in https://github.com/rust-lang/rust/blob/791a53f380d5cf800191f25941c94ace5099876e/compiler/rustc_middle/src/tests.rs#L3-L13
2024-01-17Make crate_inherent_impls fallible and stop using `track_errors` for itOli Scherer-0/+1
2024-01-11`specialization_graph_of`'s `errored` field is used in the only call site, ↵Oli Scherer-0/+1
and used to immediately throw away the rest of the value. Let's use `Result` to statically signal that this is happening
2024-01-05Remove outdated references to `librustc_middle`.Alona Enraght-Moony-1/+1
2024-01-04Make iteration order of collect_return_position_impl_trait_in_trait_tys ↵Michael Woerister-1/+1
query stable
2023-12-12Make ConstKind and TyKind CopyMichael Goulet-4/+0
2023-11-22Cache flags for ty::ConstMichael Goulet-1/+1
2023-11-20Remove unused arena kinds in `rustc_hir` and `rustc_middle`.Nicholas Nethercote-16/+1
2023-11-02use global cache when computing proof treeslcnr-0/+1
2023-10-02Implement Deref<LayoutS> for LayoutLukas Wirth-1/+1
2023-08-13Remove metadata_loader querybjorn3-1/+0
It is only used by CrateLoader. We can store the metadata loader in CStore instead which CrateLoader has access to.
2023-08-11rustc: Move `features` from `Session` to `GlobalCtxt`Vadim Petrochenkov-0/+1
Removes two pieces of mutable state. Follow up to #114622.
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+2
2023-06-19Make closure_saved_names_of_captured_variables a query.Camille GILLOT-0/+5
2023-06-01Remember names of `cfg`-ed out items to mention them in diagnosticsNilstrieb-0/+1
`#[cfg]`s are frequently used to gate crate content behind cargo features. This can lead to very confusing errors when features are missing. For example, `serde` doesn't have the `derive` feature by default. Therefore, `serde::Serialize` fails to resolve with a generic error, even though the macro is present in the docs. This commit adds a list of all stripped item names to metadata. This is filled during macro expansion and then, through a fed query, persisted in metadata. The downstream resolver can then access the metadata to look at possible candidates for mentioning in the errors. This slightly increases metadata (800k->809k for the feature-heavy windows crate), but not enough to really matter.
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-0/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
2023-04-18add EarlyBinder to return type of ↵Kyle Matsuda-1/+5
collect_return_position_impl_trait_in_trait_tys query; remove bound_X version
2023-04-08resolve: Preserve reexport chains in `ModChild`renVadim Petrochenkov-0/+1
This may be potentially useful for - avoiding uses of `hir::ItemKind::Use` - preserving documentation comments on all reexports - preserving and checking stability/deprecation info on reexports - all kinds of diagnostics