https://x.com/raphaelmilliere/status/1929887165862871044
It’s also nicely documented here:
Variable Scope - Variable Binding Analysis