Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
## Summary & Motivation It's typed as `Optional`, but we runtime-check that it's not `None`. ## How I Tested These Changes
- Loading branch information