Exactly, the argument makes sense if its about inference at runtime

But that's not the case here