Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago

Specifically if a global declaration `x` occurs between a
function declaration `f` and the definition of `f` which uses `x`