Isn't this assertions still legitimate? It would seem to be a bug to me if `~fn()` is still leaking into some parts of the compiler.