で、 Optional型に絞って考えれば、コンパイラ特別扱いで、 out parameter なのは既知だからありじゃないかってのが俺の言った事