about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-0/+9
2025-01-18Get rid of `ToPolyTraitRef`Michael Goulet-2/+1
2025-01-14Add hir::HeaderSafety to make follow up commits simplerOli Scherer-0/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-11/+1
2025-01-08Implement const Destruct in old solverMichael Goulet-2/+2
2024-12-19Auto merge of #133961 - lcnr:borrowck-cleanup, r=jackh726bors-1/+2
2024-12-18update new solver candidate assemblylcnr-1/+1
2024-12-18introduce `LateParamRegionKind`lcnr-1/+2
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
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-11/+11
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-2/+2
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-2/+2
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-1/+1
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-7/+16
2024-12-12Move impl constness into impl trait headerOli Scherer-5/+4
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-2/+12
2024-12-10Implement projection and shim for AFIDTMichael Goulet-0/+1
2024-12-09Introduce `default_field_values` featureEsteban Küber-3/+4
2024-11-26Remove -Zfuel.Camille GILLOT-4/+1
2024-11-23no more Reveal :(lcnr-114/+25
2024-11-21Implement the unsafe-fields RFC.Luca Versari-5/+12
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-1/+7
2024-11-20Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errorsbors-8/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+1
2024-11-19Implement ~const opaquesMichael Goulet-1/+7
2024-11-19`TypingMode::from_param_env` begonelcnr-6/+0
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-2/+1
2024-11-18reviewlcnr-1/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+99
2024-11-12Auto merge of #132282 - Noratrieb:it-is-the-end-of-serial, r=cjgillotbors-2/+0
2024-11-12Delete the `cfg(not(parallel))` serial compilerNoratrieb-2/+0
2024-11-09Do not reveal opaques in the param-env, we got lazy norm insteadMichael Goulet-5/+6
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-2/+1
2024-11-04Remove BorrowKind glob, make names longerMichael Goulet-1/+0
2024-11-04ty::KContainer -> ty::AssocItemContainer::KMichael Goulet-3/+1
2024-11-04Remove the trivial constkind importsMichael Goulet-4/+0
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-2/+1
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-10/+0
2024-10-29TypingMode :thinking:lcnr-1/+1
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-1/+4
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-1/+66
2024-10-24Implement const effect predicate in new solverMichael Goulet-6/+7
2024-10-11Auto merge of #131045 - compiler-errors:remove-unnamed_fields, r=wesleywiserbors-20/+2
2024-10-03Handle `rustc_metadata` cases of `rustc::potential_query_instability` lintismailarilik-2/+2
2024-10-02Handle `rustc-hir-analysis` cases of `rustc::potential_query_instability` lintismailarilik-1/+1
2024-10-01Remove unnamed field featureMichael Goulet-20/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-15/+15
2024-09-06Revert ed7bdbb17b9c03fe3530e5e3f21b7c6c7879dbcaGeorg Semmler-1/+0
2024-09-06Correctly handle stability of `#[diagnostic]` attributesGeorg Semmler-0/+31