proposalが書かれたタイミングの仕様とか今の配布されてるSwiftの挙動とかいろいろ絡むんで文書と一致してないのかもしれませんねえ