My simple solution would be to emit a hint on the first reuse after a variable was supposed to be sinked giving the line info of that sink, this way you can disable the hint for if you dont care, or upgrade it to an error in scopes to disallow that behavour. It also allows people to clearly see where they're sinking but reusing making it easier to optimize if they wish.
- Enforced sink argument krakengore
- Enforced sink argument saem
- Enforced sink argument krakengore
- Enforced sink argument saem
- Enforced sink argument Araq
- Enforced sink argument ElegantBeef
- Enforced sink argument krakengore
- Enforced sink argument Araq
- Enforced sink argument krakengore
- Enforced sink argument krakengore
- Enforced sink argument krakengore
- Enforced sink argument Araq
- Enforced sink argument Zerbina
- Enforced sink argument krakengore
- Enforced sink argument Araq
- Enforced sink argument krakengore