The cast can be included in the `resolve()` call