Why `@inline` in this case?