about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
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
2024-01-25Remove unused featuresclubby789-7/+0
2024-01-25Auto merge of #119911 - NCGThompson:is-statically-known, r=oli-obkbors-0/+5
2024-01-25Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillotbors-57/+28
2024-01-24Auto merge of #118336 - saethlin:const-to-op-cache, r=RalfJungbors-7/+31
2024-01-24remove StructuralEq traitRalf Jung-1/+1
2024-01-23Rollup merge of #120139 - compiler-errors:fnonce-shim, r=BoxyUwULeón Orell Valerian Liehr-2/+1
2024-01-23const prop nonsense eliminatedOli Scherer-55/+26
2024-01-23partially inline `eval_rvalue_into_place` for const prop lintOli Scherer-2/+2
2024-01-23Add a doc comment for eval_mir_constantBen Kimock-0/+2
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-479/+329
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-2/+2
2024-01-22Do not normalize closure signature when building FnOnce shimMichael Goulet-2/+1
2024-01-22Rollup merge of #120137 - compiler-errors:validate-aggregates, r=nnethercoteMatthias Krüger-1/+61
2024-01-22reword commentRalf Jung-7/+10
2024-01-22more clear codeRalf Jung-11/+6
2024-01-22raw pointers are not referencesRalf Jung-9/+9
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-467/+319
2024-01-20Auto merge of #119821 - oli-obk:reveal_all_const_evals, r=lcnrbors-29/+9
2024-01-19Validate AggregateKind types in MIRMichael Goulet-1/+61
2024-01-19Add new intrinsic `is_constant` and optimize `pow`Catherine Flores-0/+5
2024-01-19Always use RevealAll for const eval queriesOli Scherer-29/+9
2024-01-17Optimize large array creation in const-evalMark Rousskov-12/+19
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-7/+7