Closed takikawa closed 1 month ago
I think this assertion for EnsureDeferredNamespaceEvaluation ( O ) should check the deferred field is true rather than false, as the only call site (10.4.6.8) guards that it's true.
EnsureDeferredNamespaceEvaluation ( O )
true
false
I think this assertion for
EnsureDeferredNamespaceEvaluation ( O )
should check the deferred field istrue
rather thanfalse
, as the only call site (10.4.6.8) guards that it's true.