Why can't rust optimize the size of Option<Option<T>>?

https:\/\/play.rust-lang.org\/?version=stable&mode=release&edition=2021&gist=5b52d96b722bbb8741b937839b8f5d62

Is this the fundamental limitation of the type system or is it just a missed optimization opportunity?