about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-82/+2
2024-12-02Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errorsGuillaume Gomez-15/+18
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-15/+18
2024-12-02Auto merge of #133728 - jhpratt:rollup-k1i60pg, r=jhprattbors-2/+0
2024-12-01Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwuJacob Pratt-2/+0
2024-12-01Rollup merge of #133446 - Zalathar:querify, r=cjgillotJacob Pratt-5/+13
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-17/+9
2024-12-02rust_for_linux: -Zreg-struct-return commandline flag for X86 (#116973)Andrew Zhogin-1/+4
2024-12-01fix safe-transmute handling of enumsRalf Jung-0/+2
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-0/+4
2024-11-30Remove hir::ArrayLen, introduce ConstArgKind::InferDominik Stolz-2/+0
2024-11-30Make compare_impl_item into a queryMichael Goulet-4/+7
2024-11-30coverage: Use a query to identify which counter/expression IDs are usedZalathar-3/+13
2024-11-30coverage: Allow niches in counter/expression IDsZalathar-2/+0
2024-11-29Rollup merge of #133501 - lcnr:post-borrowck-analysis, r=compiler-errorsMatthias Krüger-84/+7
2024-11-29Revert "Rollup merge of #133418 - Zalathar:spans, r=jieyouxu"Zalathar-3/+19
2024-11-29implement checks for tail callsMaybe Waffle-0/+6
2024-11-28Auto merge of #123244 - Mark-Simulacrum:share-inline-never-generics, r=saethlinbors-9/+18
2024-11-28Share inline(never) generics across cratesMark Rousskov-9/+18
2024-11-28uplift fold_regions to rustc_type_irlcnr-84/+7
2024-11-27Rollup merge of #133418 - Zalathar:spans, r=jieyouxuMatthias Krüger-19/+3
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-4/+36
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-4/+4
2024-11-24coverage: Store coverage source regions as `Span` until codegenZalathar-19/+3
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-161/+62
2024-11-23rebaselcnr-1/+1
2024-11-23reviewlcnr-2/+3
2024-11-23global old solver cache: use `TypingEnv`lcnr-18/+8
2024-11-23remove remaining references to `Reveal`lcnr-12/+12
2024-11-23no more Reveal :(lcnr-130/+40
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/+96
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/+34
2024-11-22Implement ~const Destruct in new solverMichael Goulet-4/+13
2024-11-22Simplify logic a bitMichael Goulet-113/+68
2024-11-22Get rid of HIR const checkerMichael Goulet-5/+7
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-4/+10
2024-11-20Auto merge of #133261 - matthiaskrgr:rollup-ekui4we, r=matthiaskrgrbors-21/+12