about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2024-02-15Enforce coroutine-closure layouts are identicalMichael Goulet-0/+20
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-12/+8
2024-02-12Rollup merge of #120950 - compiler-errors:miri-async-closurs, r=RalfJung,oli-obkMatthias Krüger-1/+1
2024-02-12Rollup merge of #120933 - RalfJung:const-check-misc, r=oli-obkMatthias Krüger-10/+12
2024-02-12Rollup merge of #120917 - chenyukang:yukang-dead-parameters, r=compiler-errorsMatthias Krüger-5/+3
2024-02-12remove a bunch of dead parameters in fnyukang-5/+3
2024-02-11Rollup merge of #120872 - petrochenkov:opthirpar, r=cjgillotMatthias Krüger-4/+3
2024-02-11is_closure_likeMichael Goulet-1/+1
2024-02-11make Primary/Secondary importance consistent between CellBorrow and MutBorrowRalf Jung-7/+7
2024-02-11check_consts: fix some duplicate errors by not calling check_static unnecessa...Ralf Jung-3/+5
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-6/+11
2024-02-10Rollup merge of #117614 - RalfJung:static-mut-refs, r=davidtwco,oli-obkMatthias Krüger-24/+16
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-4/+3
2024-02-09Auto merge of #120843 - matthiaskrgr:rollup-med37z5, r=matthiaskrgrbors-0/+2
2024-02-09Don't ice in validation when error body is createdMichael Goulet-0/+2
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-2/+5
2024-02-06Rollup merge of #120423 - RalfJung:indirect-structural-match, r=petrochenkovMatthias Krüger-59/+2
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+22
2024-02-05get rid of nontrivial_structural_match lint and custom_eq const qualifRalf Jung-59/+2
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-7/+7
2024-01-28static mut: allow reference to arbitrary types, not just slices and arraysRalf Jung-24/+16
2024-01-26Normalize field types before checking validityMichael Goulet-9/+14
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-5/+5
2024-01-22raw pointers are not referencesRalf Jung-5/+5
2024-01-19Validate AggregateKind types in MIRMichael Goulet-1/+61
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-3/+3
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-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-04Migrate memory overlap check from validator to lintTomasz Miąsko-43/+3
2023-12-30is_coroutine -> is_coroutine_or_closureMichael Goulet-1/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-2/+11
2023-12-25Only regular coroutines have movabilityMichael Goulet-2/+11
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-33/+36
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-106/+22
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-106/+22
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-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-3/+3