Looking to confirm: CanBeHeldWeakly remains false even if rec/tup includes unforgeable symbols? about proposal-record-tuple HOT 2 CLOSED

Hi @bathos yes that's correct. It was mostly discussed in relation to when the proposal had the notion of Box as a way to reference an object from a R/T here #233, with https://github.com/tc39/proposal-symbols-as-weakmap-keys being the replacement for how to 'reference' an object from the R/T the same conversation still applies - with 'box' replaced with 'unique symbol'.

As mentioned in that thread, the capability exists without direct support. So it would be a connivence, rather than providing a new capability. To do this in userland, the R/T is walked to extract all the weakly holdable symbols and then a trie of WeakMaps is created to link this entire set of symbols to the R/T which is placed in a regular Map associated to the final WeakMap in the chain.

from proposal-record-tuple.

Thanks! I didn’t know what to make of the Box discussions when I was looking for prior info about this, so the context about how the notion ended up evolving is helpful.

I realized it wouldn’t constitute a new fundamental capability — I’ve done what were roughly “tuples w/ object members” in userland before myself, though I doubt as elegantly or efficiently as someone else might have. Even so I think composite key utils/syntax/whatever would be pretty valuable language-level features. (That’s all unrelated to this proposal of course, though).

from proposal-record-tuple.