Remove custom implementation of optional#6366

dbort wants to merge 1 commit intopytorch:mainpytorch/executorch:mainfrom

dbort:export-D64634702dbort/executorch:export-D64634702Copy head branch name to clipboard