Remove unnecessary field in optional

[barakugav]

Summary

Remove an unnecessary field in optional.
Before this PR, optional<uint64 *> was 24 bytes, after this PR its 16.

cc @JacobSzwejbka

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/8720

• 📄 Preview Python docs built from this PR

Note: Links to docs will display an error until the docs builds have been completed.

❌ 3 New Failures

As of commit 5d2a1a2 with merge base 65432b1 ():

NEW FAILURES - The following jobs have failed:

• Build documentation / build (buck2) / Build doc (gh)
  RuntimeError: Command docker exec -t e2905ce54adedd2028958d437964b552bee9b3f67839768aa60b03d78a883a1d /exec failed with exit code 1
• pull / android / build-llm-demo / linux-job (gh)
  RuntimeError: Command docker exec -t 5e0c7d635b2ffdd4fc1d9d80301e4c9829b081d3271082377fa8f1984aee8d6f /exec failed with exit code 127
• pull / test-pip-install-editable-mode-linux / linux-job (gh)
  RuntimeError: Command docker exec -t ab793c7c9ac8e6823732e73f9859cba289013c99e3af1f3414e28909f18304c6 /exec failed with exit code 2

This comment was automatically generated by Dr. CI and updates every 15 minutes.

[dbort]

Great catch! Thank you for finding and fixing this.