deferring a variable declaration allows the variable to be used before it is defined

[DenialAdams]

proc main() { defer let X: u64 = 123; let x = X > 10; if x { return; } }

definite assignment analysis saves us here, but dang... also, doesn't save us for static variable

[DenialAdams]

Banned in bd9b59d747e601c9d66d0db436294a01186afc02