if ではできず Proposal で "without any other dynamic conditions" でないといけないと言っているからには、 "emit a special type and witness reference accessors that would be called at runtime to determine actual underlying type" と言っても実行時に当該箇所で毎回解決されるわけではなく、最初にロードされるときに環境に合わせて型が解決されるとかなんでしょうか。 (edited)