コンパイラの気持ちわかんないですけど、 IUOの型を解釈するときって、Optionalで解釈して辻褄合う場合はそうして、ダメならUnwrapした型として解釈する、みたいな流れなのかな