about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-11-28uplift fold_regions to rustc_type_irlcnr-82/+4
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-2/+11
2024-11-26Rollup merge of #115293 - cjgillot:no-fuel, r=wesleywiser,DianQKMichael Goulet-8/+1
2024-11-26Rollup merge of #133367 - compiler-errors:array-len-mismatch, r=BoxyUwUMichael Goulet-10/+3
2024-11-26Rollup merge of #133362 - compiler-errors:existential-preds, r=BoxyUwUMichael Goulet-4/+0
2024-11-26Remove -Zfuel.Camille GILLOT-8/+1
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-2/+2
2024-11-24Rollup merge of #133371 - RalfJung:is_trivially_const_drop, r=compiler-errorsMatthias Krüger-39/+0
2024-11-24Simplify array length mismatch error reportingMichael Goulet-10/+3
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-128/+36
2024-11-23global old solver cache: use `TypingEnv`lcnr-2/+2
2024-11-23remove remaining references to `Reveal`lcnr-6/+6
2024-11-23no more Reveal :(lcnr-120/+28
2024-11-23Rollup merge of #133366 - compiler-errors:expected-found, r=dtolnay许杰友 Jieyou Xu (Joe)-2/+2
2024-11-23Auto merge of #132915 - veluca93:unsafe-fields, r=jswrennbors-5/+13
2024-11-23remove is_trivially_const_dropRalf Jung-39/+0
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-2/+2
2024-11-23Auto merge of #133360 - compiler-errors:rollup-a2o38tq, r=compiler-errorsbors-118/+85
2024-11-23No need to re-sort existential predsMichael Goulet-4/+0
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-1/+4
2024-11-22Pretty print AsyncFn traits tooMichael Goulet-11/+23
2024-11-22Implement ~const Destruct in new solverMichael Goulet-4/+13
2024-11-22Simplify logic a bitMichael Goulet-113/+68
2024-11-21Implement the unsafe-fields RFC.Luca Versari-5/+13
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