Issue 9148 - 'pure' is broken

https://issues.dlang.org/show_bug.cgi?id=9148

A nested function inside `pure` function should also be typed as `pure`, and considered as weak purity function.
I do not understand these concerns at all. `f[0]()` is a _weakly_ pure call. There simply is no possible issue here.