diff options
| author | Florian Klink <flokli@flokli.de> | 2023-02-15T14·37+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-02-15T18·40+0000 |
| commit | cfa0755fc41cb643d172bda024d02e172b3f5923 (patch) | |
| tree | 01af5e288e9fa20a80ba7ca1dfc3ec558d5b395f /tvix/eval/src/value/thunk.rs | |
| parent | 3c311ffab2d3787abd034e25f0b64cdcbf3a952a (diff) | |
refactor(tvix/store): avoid casting to the same type r/5852
The size field already is u32, we don't need to convert here. Change-Id: Ie29819aa2d1d8022e9bd73fcf05b140e45c967a9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8107 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/value/thunk.rs')
0 files changed, 0 insertions, 0 deletions