summary refs log tree commit diff
path: root/compiler/rustc_middle/src/query/mod.rs
AgeCommit message (Expand)AuthorLines
2024-12-27Spruce up the docs of several queries related to the type/trait system and co...León Orell Valerian Liehr-94/+217
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-5/+4
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-1/+1
2024-12-15Add hir::AttributeJonathan Dönszelmann-1/+1
2024-12-13Auto merge of #133099 - RalfJung:forbidden-hardfloat-features, r=workingjubileebors-1/+1
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+2
2024-12-11generalize 'forbidden feature' concept so that even (un)stable feature can be...Ralf Jung-1/+1
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-1/+3
2024-12-10Rollup merge of #134029 - Zalathar:zero, r=oli-obkLeón Orell Valerian Liehr-1/+1
2024-12-09Rollup merge of #133567 - bjorn3:various_cleanups, r=cjgillotMatthias Krüger-1/+1
2024-12-08coverage: Move `CoverageIdsInfo` into `mir::coverage`Zalathar-1/+1
2024-12-06Remove polymorphizationBen Kimock-10/+1
2024-12-06Remove all threading through of ErrorGuaranteed from the driverbjorn3-1/+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