IteratorBindingInitialization如何工作？

Question

目前，我正在试图找出当函数参数具有默认值时TDZ如何发生：

function func(x = y, y = 1) {
    return ;
}

func(); // ReferenceError: y is not defined

我跟着spec，在步骤21中，x和y绑定在envRec中但未初始化（hasDuplicates为false）。在步骤25中，IteratorBindingInitialization开始，但在规范中我没有得到绑定如何工作，没有类似GetValue的东西，那么为什么引用y失败或者我正在查看错误的IteratorBindingInitialization定义？