about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2024-02-11Rollup merge of #120883 - RalfJung:extern-static-err, r=oli-obkMatthias Krüger-5/+5
2024-02-11Rollup merge of #120882 - RalfJung:set-discriminant, r=compiler-errorsMatthias Krüger-0/+18
2024-02-10interpret/visitor: ensure we only see normalized typesRalf Jung-0/+12
2024-02-10detect consts that reference extern staticsRalf Jung-4/+20
2024-02-10validation: descend from consts into staticsRalf Jung-94/+77
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-144/+142
2024-02-10interpret: rename ReadExternStatic → ExternStaticRalf Jung-5/+5
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the stored...Ralf Jung-0/+18
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-09Compute unsizing casts in GVN.Camille GILLOT-1/+1
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-6/+1
2024-02-09Auto merge of #120843 - matthiaskrgr:rollup-med37z5, r=matthiaskrgrbors-1/+3
2024-02-09Rollup merge of #120817 - compiler-errors:more-mir-errors, r=oli-obkMatthias Krüger-0/+2
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-1/+1
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-6/+21
2024-02-07Rollup merge of #120302 - oli-obk:const_intern_cleanups, r=RalfJungGuillaume Boisseau-63/+61
2024-02-06Rollup merge of #120423 - RalfJung:indirect-structural-match, r=petrochenkovMatthias Krüger-59/+2
2024-02-06Rollup merge of #120683 - RalfJung:symbolic-alignment-ice, r=oli-obkMatthias Krüger-4/+1
2024-02-06miri: fix ICE with symbolic alignment check on extern staticRalf Jung-4/+1
2024-02-06Fix drop shim for AsyncFnOnce closure, AsyncFnMut shim for AsyncFn closureMichael Goulet-1/+1
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+1
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-0/+1
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/+28
2024-02-06Invert diagnostic lints.Nicholas Nethercote-1/+1
2024-02-05Clarify order of operations during interningOli Scherer-0/+7
2024-02-05get rid of nontrivial_structural_match lint and custom_eq const qualifRalf Jung-59/+2
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-6/+1
2024-02-05Rollup merge of #120587 - lukas-code:miri-tail-normalize, r=RalfJungMatthias Krüger-1/+5
2024-02-05Rollup merge of #119600 - aDotInTheVoid:comment-fix, r=compiler-errorsMatthias Krüger-3/+1
2024-02-03Use `DiagnosticArgName` in a few more places.Nicholas Nethercote-5/+4
2024-02-02miri: normalize struct tail in ABI compat checkLukas Markeffsky-1/+5
2024-01-30Rollup merge of #120488 - nnethercote:diag-lifetimes, r=oli-obkGuillaume Gomez-2/+2
2024-01-30Rollup merge of #120387 - RalfJung:large-array-followup, r=oli-obkGuillaume Gomez-5/+4
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-2/+2
2024-01-29Document base vs nested alloc interningOli Scherer-0/+3
2024-01-29separately intern the outermost alloc from the restOli Scherer-41/+39
2024-01-29Prefer external iteration now that we don't actually recurse anymoreOli Scherer-22/+16
2024-01-29prefer instrumentation over entry/exit tracing statementsOli Scherer-2/+2
2024-01-29interning doesn't check alignment anymroe, because it doesn't do any more pro...Oli Scherer-4/+0
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-33/+33
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-26interpret/memory: fix safety comment for large array memset optimizationRalf Jung-5/+4
2024-01-26add test for GVN issue; cleanup in dataflow_const_propRalf Jung-1/+5
2024-01-26interpret: project_downcast: do not ICE for uninhabited variantsRalf Jung-19/+2
2024-01-26Auto merge of #119968 - clubby789:unused-feature, r=compiler-errorsbors-7/+0
2024-01-26Auto merge of #116167 - RalfJung:structural-eq, r=lcnrbors-1/+1