about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-11-09Rollup merge of #132799 - zachs18:str-primitive-symbol, r=compiler-errorsMatthias Krüger-0/+1
2024-11-09Move some code from Compiler::enter to GlobalCtxt::finishbjorn3-2/+11
2024-11-09Rollup merge of #132745 - RalfJung:pointee-info-inside-enum, r=DianQKMatthias Krüger-11/+27
2024-11-09Add str to "expected primitive, found type" diagnosticZachary S-0/+1
2024-11-09Do not reveal opaques in the param-env, we got lazy norm insteadMichael Goulet-5/+7
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...Ralf Jung-3/+3
2024-11-08pointee_info_at: fix logic for recursing into enumsRalf Jung-11/+27
2024-11-07 remove 'platform-intrinsic' ABI leftoversRalf Jung-1/+1
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-59/+55
2024-11-04when an intrinsic has a const-stable fallback body, we can easily expose it o...Ralf Jung-2/+1
2024-11-04add new rustc_const_stable_intrinsic attribute for const-stable intrinsicsRalf Jung-0/+4
2024-11-04Register const preds for Deref adjustments in HIR typeckMichael Goulet-6/+6
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-35/+39
2024-11-04Remove BorrowKind glob, make names longerMichael Goulet-10/+8
2024-11-04ty::KContainer -> ty::AssocItemContainer::KMichael Goulet-10/+8
2024-11-04Remove the trivial constkind importsMichael Goulet-4/+0
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-58/+49
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-58/+49
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+0
2024-11-02Fix type shortening writing to fileEsteban Küber-3/+18
2024-10-31Auto merge of #132301 - compiler-errors:adjust, r=lcnrbors-11/+10
2024-10-31Auto merge of #131186 - compiler-errors:precise-capturing-borrowck, r=estebankbors-6/+5
2024-10-31Try to point out when edition 2024 lifetime capture rules cause borrowck issuesMichael Goulet-1/+1
2024-10-31Encode cross-crate opaque type originMichael Goulet-5/+4
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-12/+0
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-12/+0
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-8/+8
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-3/+4
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-8/+8
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-6/+7
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-3/+4
2024-10-29TypingMode :thinking:lcnr-13/+8
2024-10-29Remove region from adjustmentsMichael Goulet-11/+10
2024-10-28Rollup merge of #132255 - workingjubilee:layout-is-🏚️, r=compiler-errorsJubilee-1/+1
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-27compiler: Rename LayoutS to LayoutDataJubilee Young-6/+6
2024-10-26Rollup merge of #132168 - fee1-dead-contrib:fxclean, r=compiler-errorsMatthias Krüger-6/+2
2024-10-26Effects cleanupDeadbeef-6/+2
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-29/+17
2024-10-25Re-do recursive const stability checksRalf Jung-1/+1
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-2/+68
2024-10-24Implement const effect predicate in new solverMichael Goulet-11/+136
2024-10-24Remove associated type based effects logicMichael Goulet-79/+10
2024-10-23Rollup merge of #131979 - compiler-errors:compare-pred-entail, r=fmeaseLeón Orell Valerian Liehr-1/+3
2024-10-23More compare_impl_item simplificationsMichael Goulet-1/+3
2024-10-23Auto merge of #132027 - RalfJung:lang-feature-bool-fields, r=nnethercotebors-10/+10
2024-10-23Auto merge of #132044 - lcnr:no-relate-abi, r=compiler-errorsbors-27/+5
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-10/+10
2024-10-23remove `PredicatePolarity` and `BoundConstness` relate implslcnr-3/+0
2024-10-22do not relate `Abi` and `Safety`lcnr-24/+5