Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Found this while exploring the code. The absence of this field doesn't affect the runtime since the `cast()` call in `get_options()` exists more-or-less to provide information to the type checker.
- Loading branch information