about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2025-06-27Rollup merge of #143051 - Stypox:tracing-validity, r=RalfJungGuillaume Gomez-4/+11
2025-06-27const-eval: error when initializing a static writes to that staticRalf Jung-18/+40
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-17/+28
2025-06-27Insert checks for enum discriminants when debug assertions are enabledBastian Kersting-0/+1
2025-06-27Add tracing for instantiate_from_frame_and_normalize_erasing_regionsStypox-1/+7
2025-06-27Add tracing to validate_operandStypox-0/+7
2025-06-27Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errorsbors-92/+34
2025-06-26clarify and unify 'transient mutable borrow' errorsRalf Jung-34/+12
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-58/+22
2025-06-26Rollup merge of #141311 - folkertdev:tidy-natural-sort, r=jieyouxuMatthias Krüger-3/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-8/+8
2025-06-26Fix documentation of validate_operandStypox-4/+4
2025-06-26make size_and_align_of_mplace work on all projectableRalf Jung-22/+16
2025-06-26const validation: properly ignore zero-sized UnsafeCellRalf Jung-3/+14
2025-06-25make `tidy-alphabetical` use a natural sortFolkert de Vries-3/+3
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-0/+3
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-0/+3
2025-06-24Rollup merge of #135731 - frank-king:feature/pin-borrow, r=eholk,traviscrossJubilee-5/+7
2025-06-22centralize `-Zmin-function-alignment` logicFolkert de Vries-6/+1
2025-06-20Rollup merge of #142575 - oli-obk:sneaky-self-init, r=RalfJungTrevor Gross-1/+6
2025-06-20Ensure copy* intrinsics also perform the static self-init checksOli Scherer-1/+6
2025-06-19Do not include NUL-terminator in computed lengthAlice Ryhl-7/+5
2025-06-18Make feature suggestion more consistent.Camille GILLOT-30/+4
2025-06-15Implement pinned borrows, part of `pin_ergonomics`Frank King-5/+7
2025-06-13Rollup merge of #142405 - oli-obk:type-once, r=RalfJungJubilee-7/+7
2025-06-12intrinsics: rename min_align_of to align_ofRalf Jung-2/+2
2025-06-12Don't hardcode the intrinsic return types twice in the compilerOli Scherer-7/+7
2025-06-11Fix enter_trace_span!() using wrong $crate pathsStypox-2/+2
2025-06-10const_eval: fix some outdated commentsRalf Jung-12/+8
2025-06-09Rollup merge of #142222 - compiler-errors:ocx-w-no-diag, r=lcnrMatthias Krüger-1/+1
2025-06-08Dont make ObligationCtxts with diagnostics unnecessarilyMichael Goulet-1/+1
2025-06-09Auto merge of #142220 - workingjubilee:rollup-idgfpof, r=workingjubileebors-13/+2
2025-06-08Remove rustc's notion of "preferred" alignment AKA `__alignof`Jubilee Young-13/+2
2025-06-07const-eval error: always say in which item the error occurredRalf Jung-15/+3
2025-06-06Rollup merge of #142103 - scottmcm:fieldidx-in-interp, r=oli-obkGuillaume Gomez-39/+46
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-39/+46
2025-06-06Rollup merge of #142012 - oli-obk:no-optional-spans, r=fee1-deadMatthias Krüger-10/+7
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-10/+7
2025-06-05Rollup merge of #142015 - oli-obk:wrong-instance, r=RalfJungMatthias Krüger-2/+3
2025-06-05Auto merge of #135054 - cramertj:file-cstr, r=m-ou-sebors-8/+13
2025-06-04Add Location::file_with_nulTaylor Cramer-8/+13
2025-06-04Report the actual item that evaluation failed forOli Scherer-2/+3
2025-06-03Change `tag_field` to `FieldIdx` in `Variants::Multiple`Scott McMurray-5/+5
2025-06-03Rollup merge of #141698 - oli-obk:ctfe-err-flip, r=RalfJungMatthias Krüger-51/+35
2025-06-03Add `iter` macroOli Scherer-16/+12
2025-06-02Use the informative error as the main const eval error messageOli Scherer-51/+35
2025-05-31Add const support for float rounding methodsRuan Comelli-0/+113
2025-05-27Rollup merge of #141495 - compiler-errors:rename-unpack, r=fmeaseMatthias Krüger-2/+2
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-27Rollup merge of #141582 - RalfJung:cleanup, r=bjorn3Michael Goulet-1/+1