summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-3/+9
2024-11-20Auto merge of #133261 - matthiaskrgr:rollup-ekui4we, r=matthiaskrgrbors-14/+0
2024-11-20Auto merge of #131326 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakisbors-6/+21
2024-11-20Rip out built-in PointerLike implMichael Goulet-14/+0
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-6/+21
2024-11-20Auto merge of #133234 - jhpratt:rollup-42dmg4p, r=jhprattbors-1/+5
2024-11-20Rollup merge of #133216 - compiler-errors:const-fn, r=lcnrJacob Pratt-1/+5
2024-11-20Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errorsbors-26/+21
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-1/+5
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-5/+2
2024-11-19Implement ~const opaquesMichael Goulet-1/+7
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-2/+2
2024-11-19`TypingMode::from_param_env` begonelcnr-6/+0
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-15/+19
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-99/+14
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-165/+292
2024-11-18reviewlcnr-1/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-165/+291
2024-11-18rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirectRalf Jung-1/+1
2024-11-17Auto merge of #132566 - saethlin:querify-mir-collection, r=cjgillotbors-0/+11
2024-11-12Querify MonoItem collectionBen Kimock-0/+11
2024-11-12Auto merge of #132282 - Noratrieb:it-is-the-end-of-serial, r=cjgillotbors-23/+3
2024-11-12Delete the `cfg(not(parallel))` serial compilerNoratrieb-23/+3
2024-11-12Rollup merge of #132927 - BoxyUwU:consolidate_type_system_const_eval, r=compi...Matthias Krüger-92/+3
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-92/+3
2024-11-11Simplify some places that deal with generic parameter defaultsLeón Orell Valerian Liehr-2/+2
2024-11-09Rollup merge of #132799 - zachs18:str-primitive-symbol, r=compiler-errorsMatthias Krüger-0/+1
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