diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-31T01·56+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-07T19·08+0000 |
commit | f8919dbcd6137f1d4656827e1b3cefe58cee119b (patch) | |
tree | 8c77465e4b67e2f108b21b790b0bb5f00a690ee7 /users/zseri | |
parent | afcfa7836401d90bbb131b170a3a69b3cf794b1c (diff) |
fix(tvix/eval): address current clippy lints r/4706
Note that I've allowed `needless_lifetimes` for the attribute set iterator, as I find the type easier to understand with these annotations present. Change-Id: I33abb17837ee4813076cdb9a87f54bac4a37044e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6373 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'users/zseri')
0 files changed, 0 insertions, 0 deletions