about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-49/+52
2023-12-25Only regular coroutines have movabilityMichael Goulet-2/+11
2023-12-24fix ICE when using raw ptr in a patternRalf Jung-1/+1
2023-12-24Rollup merge of #119257 - RalfJung:tls-comments, r=petrochenkovMatthias Krüger-0/+6
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-48/+51
2023-12-23interpret/memory: explain why we check is_thread_local_staticRalf Jung-0/+6
2023-12-23Auto merge of #119072 - fee1-dead-contrib:effects-fixes, r=compiler-errorsbors-147/+40
2023-12-22Rollup merge of #119198 - compiler-errors:desugaring, r=eholkMichael Goulet-4/+16
2023-12-22Rollup merge of #119171 - nnethercote:cleanup-errors-4, r=compiler-errorsMichael Goulet-108/+24
2023-12-22Rollup merge of #119077 - tmiasko:lint, r=cjgillotMichael Goulet-47/+3
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-106/+22
2023-12-23Use `IntoDiagnostic` default.Nicholas Nethercote-2/+2
2023-12-22Split coroutine desugaring kind from sourceMichael Goulet-4/+16
2023-12-22clean up `check_consts` checksDeadbeef-147/+40
2023-12-21Add pass to identify undefined or erroneous behaviourTomasz Miąsko-47/+3
2023-12-19Add `level` arg to `into_diagnostic`.Nicholas Nethercote-2/+5
2023-12-18Rename many `DiagCtxt` and `EarlyDiagCtxt` locals.Nicholas Nethercote-6/+6
2023-12-18Rename many `DiagCtxt` arguments.Nicholas Nethercote-31/+23
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-6/+6
2023-12-18Rename `Handler` as `DiagCtxt`.Nicholas Nethercote-10/+14
2023-12-14Rollup merge of #118933 - nnethercote:cleanup-errors-even-more, r=compiler-er...Jubilee-2/+2
2023-12-15Split `Handler::emit_diagnostic` in two.Nicholas Nethercote-2/+2
2023-12-14Rollup merge of #118935 - RalfJung:interpret-downcast, r=saethlinMatthias Krüger-0/+18
2023-12-14interpret: extend comment on the inhabitedness check in downcastRalf Jung-0/+18
2023-12-13fix computing the dynamic alignment of packed structs with dyn trait tailsRalf Jung-25/+18
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-4/+3
2023-12-13Auto merge of #118534 - RalfJung:extern-type-size-of-val, r=WaffleLapkinbors-4/+7
2023-12-12clippy::complexity fixesMatthias Krüger-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-4/+3
2023-12-12reject projecting to fields whose offset we cannot computeRalf Jung-4/+7
2023-12-11Auto merge of #118661 - fee1-dead-contrib:restore-const-partialEq, r=compiler...bors-1/+0
2023-12-11Auto merge of #118032 - RalfJung:char-u32, r=Mark-Simulacrumbors-0/+2
2023-12-10Auto merge of #118692 - surechen:remove_unused_imports, r=petrochenkovbors-1/+1
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-1/+0
2023-12-10remove redundant importssurechen-1/+1
2023-12-09s/const_effect/host_effectMichael Goulet-1/+1
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-0/+1
2023-12-08Auto merge of #118689 - compiler-errors:const-drop, r=fee1-deadbors-20/+30
2023-12-07Auto merge of #118324 - RalfJung:ctfe-read-only-pointers, r=saethlinbors-106/+195
2023-12-07avoid marking as immutable what is already immutableRalf Jung-6/+16
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-37/+112
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-66/+70
2023-12-07Fix const drop checkingMichael Goulet-20/+30
2023-12-04Rollup merge of #118565 - RalfJung:numeric_intrinsic, r=davidtwcoGuillaume Gomez-46/+36
2023-12-04Rollup merge of #118573 - petrochenkov:pathdatakind, r=TaKO8KiTakayuki Maeda-4/+2
2023-12-04Rollup merge of #118540 - RalfJung:unsized-packed-offset, r=TaKO8KiTakayuki Maeda-1/+11
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-16/+22
2023-12-03rustc: Harmonize `DefKind` and `DefPathData`Vadim Petrochenkov-4/+2
2023-12-03interpret: make numeric_intrinsic accessible from MiriRalf Jung-46/+36