16:05 | <Aapo Alasuutari> | I was referring to calls like TypedArrayCreateSameType(O, << F(len) >>) : Is it not acceptable for the spec to "read through" itself and know that these calls cannot trigger UC, although some other TypedArrayCreateSameType calls might? |
16:05 | <bakkot> | ah, yeah, it's fine to mark the callsites of TypedArrayCreateSameType |
16:06 | <bakkot> | but I think the better fix is to change TypedArrayCreateSameType to take a length instead of a list of ES values |
16:57 | <Aapo Alasuutari> | Created this: https://github.com/tc39/ecma262/pull/3570 |