about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/query/erase.rs
AgeCommit message (Expand)AuthorLines
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-6/+4
2024-10-31Encode cross-crate opaque type originMichael Goulet-0/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+1
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-0/+6
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+4
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+4
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-1/+1
2024-06-05Rollup merge of #123168 - joshtriplett:size-of-prelude, r=AmanieuJubilee-1/+1
2024-05-29Start implementing needs_async_drop and relatedDaria Sukhonina-0/+2
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-7/+9
2024-05-13Add `size_of`, `size_of_val`, `align_of`, and `align_of_val` to the preludeJosh Triplett-1/+1
2024-04-04cache type info for ParamEnvLukas Markeffsky-0/+4
2024-03-22Add `tag_for_variant` queryJack Wrenn-0/+1
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-2/+2
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-1/+1
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-0/+1
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-1/+1
2024-02-15Add new query just for static initializersOli Scherer-0/+1
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-2/+2
2024-02-12Use a struct instead of a tupleOli Scherer-3/+2
2024-02-12Make impl_trait_ref into a query also returning more information about the implOli Scherer-2/+3
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-0/+1
2024-02-12Lowering field access for anonymous adtsFrank King-0/+1
2024-02-03hir: Remove the generic type parameter from `MaybeOwned`Vadim Petrochenkov-2/+2
2024-01-23Remove track_errors entirelyOli Scherer-0/+5
2024-01-19Auto merge of #120112 - matthiaskrgr:rollup-48o3919, r=matthiaskrgrbors-0/+4
2024-01-19Auto merge of #120006 - cjgillot:no-hir-owner, r=wesleywiserbors-5/+0
2024-01-18Rollup merge of #119869 - oli-obk:track_errors2, r=matthewjasperMatthias Krüger-0/+4
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-0/+4
2024-01-17Make crate_inherent_impls fallible and stop using `track_errors` for itOli Scherer-0/+4
2024-01-16Get rid of the hir_owner query.Camille GILLOT-5/+0
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-0/+1
2023-11-08Rollup merge of #116399 - WaffleLapkin:erase_small_things, r=cjgillotMatthias Krüger-6/+16
2023-11-07Add an explanation for `transmute_unchecked`Maybe Waffle-0/+9
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-03Use consisntent style of `size_of` in query type erasureMaybe Waffle-4/+4
2023-10-03Use `transmute_unchecked` and make the types explicit in query type erasureMaybe Waffle-3/+4
2023-09-21Record asyncness span in HIRMichael Goulet-0/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-4/+3
2023-09-19move ConstValue into mirRalf Jung-10/+6
2023-08-27More precisely detect cycle errors from type_of on opaqueMichael Goulet-0/+5
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-0/+1
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-6/+0
2023-07-21add crate-local `-Z reference_niches` unstable flag (does nothing for now)Moulins-0/+1
2023-07-21add `naive_layout_of` queryMoulins-0/+5
2023-07-03Remove chalk from the compilerMichael Goulet-1/+0
2023-07-01Put `FnAbiError` behind reference to shrink resultNilstrieb-2/+2
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-4/+6
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-1/+1
2023-06-19Make closure_saved_names_of_captured_variables a query.Camille GILLOT-0/+4