diff options
| author | Florian Klink <flokli@flokli.de> | 2024-05-26T18·20+0200 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2024-05-30T16·18+0000 |
| commit | 543c103903ad10427a8ccbfbd4fa0520baad1c3e (patch) | |
| tree | cfa2ee0c1afc6efc69e15f1c537f2b2a96da35af /third_party/immer/benchmark/vector/branching/unsafe/push.cpp | |
| parent | e8324073eb85f1531e07ef5140db48d2a0d74239 (diff) | |
fix(tvix/eval/vm/generators): allow unused rq_{path_exists,read_dir} r/8179
These VM requests are only emitted by code gated behind the impure feature. To prevent warning from popping up when building without default features, allow these to be unused if `impure` is not enabled. Change-Id: Id871a5215e9a0f09aa78edecdd111369ee7ffe34 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11722 Reviewed-by: Connor Brewster <cbrewster@hey.com> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/immer/benchmark/vector/branching/unsafe/push.cpp')
0 files changed, 0 insertions, 0 deletions