Ok, now I get it. I'd say that our general rule would be that you force inlining with `@inline` if you have a good reason for that and not that it just doesn't hurt. I don't see it here and that's why I asked.