about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/query/mod.rs
AgeCommit message (Expand)AuthorLines
2024-12-08coverage: Move `CoverageIdsInfo` into `mir::coverage`Zalathar-1/+1
2024-12-06Remove polymorphizationBen Kimock-10/+1
2024-12-05Rollup merge of #133607 - WaffleLapkin:tail-call-checks, r=compiler-errorsGuillaume Gomez-0/+6
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-0/+2
2024-12-03Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiserbors-5/+0
2024-12-01fix safe-transmute handling of enumsRalf Jung-0/+2
2024-11-30Make compare_impl_item into a queryMichael Goulet-4/+7
2024-11-29implement checks for tail callsMaybe Waffle-0/+6
2024-11-23rebaselcnr-1/+1
2024-11-23reviewlcnr-2/+3
2024-11-23remove remaining references to `Reveal`lcnr-4/+5
2024-11-23no more Reveal :(lcnr-4/+4
2024-11-22Get rid of HIR const checkerMichael Goulet-5/+0
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-1/+1
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+22
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-3/+3
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-1/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-4/+4
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-13/+13
2024-11-12Querify MonoItem collectionBen Kimock-1/+12
2024-11-12Auto merge of #132843 - RalfJung:mono-time-checks, r=lcnrbors-5/+11
2024-11-12Rollup merge of #132627 - adwinwhite:thir_body_cleanup, r=compiler-errorsMatthias Krüger-1/+1
2024-11-10move all mono-time checks into their own folder, and their own queryRalf Jung-5/+11
2024-11-10Auto merge of #132173 - veluca93:abi_checks, r=RalfJung,compiler-errorsbors-0/+8
2024-11-07Rollup merge of #132131 - celinval:smir-crate-defs, r=compiler-errorsJubilee-0/+10
2024-11-07[StableMIR] API to retrieve definitions from cratesCelina G. Val-0/+10
2024-11-05Auto merge of #129884 - RalfJung:forbidden-target-features, r=workingjubileebors-2/+3
2024-11-05cleanup: Remove outdated comment and logic of `thir_body`Adwin White-1/+1
2024-11-04mark some target features as 'forbidden' so they cannot be (un)setRalf Jung-2/+3
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-4/+3
2024-11-01Emit warning when calling/declaring functions with unavailable vectors.Luca Versari-0/+8
2024-10-31Encode cross-crate opaque type originMichael Goulet-3/+2
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-0/+17
2024-10-26Auto merge of #125116 - blyxyas:ignore-allowed-lints-final, r=cjgillotbors-0/+6
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-4/+3
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+18
2024-10-24Remove associated type based effects logicMichael Goulet-6/+0
2024-10-19Follow review comments (optimize the filtering)blyxyas-1/+2
2024-10-19Change lints_to_emit to lints_that_actually_runblyxyas-1/+1
2024-10-19Do not run lints that cannot emitblyxyas-0/+5
2024-10-18Rollup merge of #131802 - compiler-errors:fnonce-coverage, r=Zalathar许杰友 Jieyou Xu (Joe)-0/+1
2024-10-18Dont ICE when computing coverage of synthetic async closure bodyMichael Goulet-0/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-14/+14
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-6/+7
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-6/+6
2024-10-04Simplify bound var resolution.Camille GILLOT-3/+3
2024-10-04WfCheck opaques.Camille GILLOT-1/+1
2024-10-04Make naming more consistent.Camille GILLOT-10/+10
2024-10-04Make query backtrace more useful.Camille GILLOT-8/+8
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-6/+6