Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
test: improve coverage for
builtin/option.mbt
**Disclaimer:** This PR was generated by an LLM agent as part of an experiment. ## Summary ``` coverage of `builtin/option.mbt`: 70.0% -> 100% ```
- Loading branch information