summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2024-03-11Rollup merge of #121893 - RalfJung:const-interior-mut-tests, r=oli-obkJubilee-1/+2
2024-03-11const-checking: add some corner case tests, and fix some nitsRalf Jung-1/+1
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+2
2024-03-08Rollup merge of #122173 - compiler-errors:ptr-equality-in-ctfe, r=lcnrMatthias Krüger-1/+0
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-3/+3
2024-03-08Don't ICE in CTFE if raw/fn-ptr types differMichael Goulet-1/+0
2024-03-06Rollup merge of #121382 - nnethercote:rework-untranslatable_diagnostic-lint, ...Matthias Krüger-0/+4
2024-03-06Rewrite the `untranslatable_diagnostic` lint.Nicholas Nethercote-0/+4
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-03-02add comment and test: we do not do value-based reasoning for promotion of unionsRalf Jung-0/+1
2024-02-28Rename `DiagnosticImportance` as `DiagImportance`.Nicholas Nethercote-16/+14
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-24/+24
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-3/+3
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-4/+2
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-0/+7
2024-02-20Reduce capabilities of `Diagnostic`.Nicholas Nethercote-0/+7
2024-02-19Always evaluate free constants and statics, even if previous errors occurredOli Scherer-1/+1
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-1/+1
2024-02-17const_mut_refs: allow mutable refs to staticsRalf Jung-4/+57
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+1
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-1/+1
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-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-1/+1
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