about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-479/+329
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-2/+2
2024-01-22Rollup merge of #120137 - compiler-errors:validate-aggregates, r=nnethercoteMatthias Krüger-1/+61
2024-01-22reword commentRalf Jung-7/+10
2024-01-22more clear codeRalf Jung-11/+6
2024-01-22raw pointers are not referencesRalf Jung-9/+9
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-467/+319
2024-01-20Auto merge of #119821 - oli-obk:reveal_all_const_evals, r=lcnrbors-29/+9
2024-01-19Validate AggregateKind types in MIRMichael Goulet-1/+61
2024-01-19Always use RevealAll for const eval queriesOli Scherer-29/+9
2024-01-17Optimize large array creation in const-evalMark Rousskov-12/+19
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-7/+7
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-3/+3
2024-01-11Stop using `DiagnosticBuilder::buffer` in `Checker`.Nicholas Nethercote-5/+8
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+4
2024-01-10Rename `{create,emit}_warning` as `{create,emit}_warn`.Nicholas Nethercote-1/+1
2024-01-09Rollup merge of #119668 - cjgillot:transform-promote, r=oli-obkGuillaume Gomez-1026/+0
2024-01-09Rollup merge of #119725 - compiler-errors:has_effect_param, r=fmeaseMatthias Krüger-3/+1
2024-01-08Move promote_consts back to rustc_mir_transform.Camille GILLOT-1026/+0
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+1
2024-01-08Add helper for when we want to know if an item has a host paramMichael Goulet-3/+1
2024-01-06Don't populate yield and resume types after the factMichael Goulet-1/+1
2024-01-05Rollup merge of #119577 - tmiasko:lint, r=oli-obkMichael Goulet-43/+3
2024-01-05Rollup merge of #119538 - nnethercote:cleanup-errors-5, r=compiler-errorsMichael Goulet-43/+43
2024-01-04Migrate memory overlap check from validator to lintTomasz Miąsko-43/+3
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-43/+43
2023-12-30is_coroutine -> is_coroutine_or_closureMichael Goulet-1/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-5/+5
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-2/+11
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