GetFunctionRealm argument

[jmdyck]

The abstract operation GetFunctionRealm(_obj_) asserts that _obj_ is a callable object. However, consider the steps later in the definition:

  1. Let _proxyTarget_ be _obj_.[[ProxyTarget]].
  1. Return ? GetFunctionRealm(_proxyTarget_).

I don't think there's a guarantee that _obj_.[[ProxyTarget]] is callable, in which case the recursive call would fail the assertion.

[ljharb]

How could a proxy be callable, but its target not be?

[ljharb]

How could a proxy be callable, but its target not be?

[jmdyck]

Ah, ProxyCreate() will make the proxy callable only if the target is.

But that seems unnecessarily restrictive: if the handler has an "apply" method, why does the target need to be callable?

[jmdyck]

Ah, ProxyCreate() will make the proxy callable only if the target is.

But that seems unnecessarily restrictive: if the handler has an "apply" method, why does the target need to be callable?