about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2024-03-24Rollup merge of #122937 - Zalathar:unbox, r=oli-obkMatthias Krüger-2/+1
2024-03-24Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r...Matthias Krüger-4/+15
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-2/+2
2024-03-23Unbox and unwrap the contents of `StatementKind::Coverage`Zalathar-2/+1
2024-03-22Fix validation on substituted callee bodies in MIR inlinerMichael Goulet-4/+15
2024-03-22coverage: Clean up marker statements that aren't needed laterZalathar-1/+12
2024-03-18Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkinMatthias Krüger-5/+7
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-5/+7
2024-03-18add_retag: ensure box-to-raw-ptr casts are preserved for MiriRalf Jung-2/+2
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