about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
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/+33
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
2024-11-20Rollup merge of #133226 - compiler-errors:opt-in-pointer-like, r=lcnrMatthias Krüger-14/+0
2024-11-20Rollup merge of #132708 - estebank:const-as-binding, r=NadrierilMatthias Krüger-7/+12
2024-11-20Auto merge of #131326 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakisbors-9/+104
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-9/+104
2024-11-20Auto merge of #133234 - jhpratt:rollup-42dmg4p, r=jhprattbors-7/+6
2024-11-20Rollup merge of #133216 - compiler-errors:const-fn, r=lcnrJacob Pratt-1/+5
2024-11-20Rollup merge of #133108 - RalfJung:future-compat-needs-to-run, r=lcnrJacob Pratt-6/+1
2024-11-20Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errorsbors-67/+49
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-1/+5
2024-11-19lints_that_dont_need_to_run: never skip future-compat-reported lintsRalf Jung-6/+1
2024-11-19additional `TypingEnv` cleanupslcnr-4/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-35/+22
2024-11-19Implement ~const opaquesMichael Goulet-1/+7