Type unstable function because same variable name used twice

[DNF]

I think that, in principle, the compiler could understand this and avoid the instability, but it just isn’t clever enough (yet).