「可能性があります」ってのは「各処理系はそのように実装してもよい」程度の意味じゃね？
DMDの実際がどうなのかは知らないけど別の事のような気がする