tvix: bogus unused variable warning for identity function

#420
Opened by sterni at 2024-10-05T20·05+00

tvix-repl> (x: x)
warning[W003]: variable 'x' is declared, but never used:
 --> [code]:1:2
  |
1 | (x: x) 
  |  ^ variable declared here

=> <LAMBDA> :: lambda

  1. sterni updated the body of this issue at 2024-10-05T20·05+00
  2. sterni changed the subject of this issue from "tvix: bogus warning for identity function" to "tvix: bogus unused variable warning for identity function" at 2024-10-05T20·06+00
  3. yuka closed this issue at 2024-10-27T21·20+00

  4. cl/12696

    sterni at 2024-10-27T21·23+00