Variable can initialize itself
This program typechecks, but it should not, as i
is undefined: https://pseuco.com/#/edit/remote/utymq85pdp9x46dz8bvf
This program typechecks, but it should not, as i
is undefined: https://pseuco.com/#/edit/remote/utymq85pdp9x46dz8bvf