about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/layout.rs
AgeCommit message (Expand)AuthorLines
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-19/+50
2025-01-14Consider more erroneous layouts as LayoutError::ReferencesError to suppress s...Michael Goulet-12/+20
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-4/+4
2025-01-10Foo<T> != Foo<U> under layout randomizationThe 8472-0/+10
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+5
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-15/+11
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-6/+8
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-11-30report UB when the niche value refers to the untagged variantRalf Jung-1/+1
2024-11-23remove remaining references to `Reveal`lcnr-3/+3
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-9/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-20/+24
2024-11-03compiler: Directly use rustc_abi in ty_utilsJubilee Young-4/+3
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-19/+24
2024-10-27compiler: Rename LayoutS to LayoutDataJubilee Young-16/+16
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-3/+3
2024-10-20compiler: Reject impossible reprs during enum layoutJubilee Young-0/+5
2024-10-20compiler: pre-move code for fixing enum layout ICEsJubilee Young-2/+3
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-3/+3
2024-10-08compiler: Factor rustc_target::abi::* out of ty_utilsJubilee Young-7/+13
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-36/+21
2024-09-17get rid of an old hackLukas Markeffsky-36/+5
2024-09-17assert that unexpectedly unsized fields are sized in the param envLukas Markeffsky-26/+26
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-34/+64
2024-09-16make `LayoutCx` not genericLukas Markeffsky-10/+7
2024-08-20supress niches in coroutinesRalf Jung-1/+7
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-1/+5
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-1/+1
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-3/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-07-28step cfg(bootstrap)Mark Rousskov-3/+1
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-05-06Refactor float `Primitive`s to a separate `Float` typebeetrees-7/+2
2024-04-09Handle const generic pattern typesSantiago Pastorino-2/+6
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+33
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-2/+2
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-2/+2
2024-04-04Rollup merge of #121546 - gurry:121473-ice-sizeof-mir-op, r=oli-obkMatthias Krüger-1/+37
2024-04-04Error out of layout calculation if a non-last struct field is unsizedGurinder Singh-1/+37
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-03-24Require coroutine kind type to be passed to TyCtxt::coroutine_layoutMichael Goulet-2/+2
2024-03-24Always use tcx.coroutine_layout over calling optimized_mir directlyMichael Goulet-1/+1
2024-03-22-Zprint-type-sizes: print the types of awaitees and unnamed coroutine locals.Kevin Reid-1/+9
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2