<html>
<head>
<base href="https://bugs.webkit.org/">
</head>
<body>
<p>
<div>
<b><a class="bz_bug_link
bz_status_NEW "
title="NEW - [ES6]. Implement Annex B.3.3 function hoisting rules for eval"
href="https://bugs.webkit.org/show_bug.cgi?id=163208#c66">Comment # 66</a>
on <a class="bz_bug_link
bz_status_NEW "
title="NEW - [ES6]. Implement Annex B.3.3 function hoisting rules for eval"
href="https://bugs.webkit.org/show_bug.cgi?id=163208">bug 163208</a>
from <span class="vcard"><a class="email" href="mailto:caitp@igalia.com" title="Caitlin Potter (:caitp) <caitp@igalia.com>"> <span class="fn">Caitlin Potter (:caitp)</span></a>
</span></b>
<pre>(In reply to GSkachkov from <a href="show_bug.cgi?id=163208#c65">comment #65</a>)
<span class="quote">> (In reply to Caitlin Potter (:caitp) from <a href="show_bug.cgi?id=163208#c63">comment #63</a>)
> > (In reply to Saam Barati from <a href="show_bug.cgi?id=163208#c46">comment #46</a>)
> > > If you run this program in Chrome Canary, you can see V8's behavior here
> > > w.r.t the specification. It looks like the eval does indeed perform `has` on
> > > the thing inside the with scope.
> > >
> > > ```
> > > function foo() {
> > > let p2 = new Proxy({}, {
> > > has(t, p) {
> > > console.log(p)
> > > return Reflect.has(t, p);
> > > }
> > > });
> > > with (p2) {
> > > eval("Reflect.has(p2, 'bar'); { function baz() { }; }");
> > > }
> > > }
> > > foo();
> > > ```
> > >
> > > I'm not sure if V8 is correct here, but we should verify the correct
> > > behavior and try to get that landed. V8 will have the following output:
> > >
> > > ```
> > > eval
> > > Reflect
> > > p2
> > > bar
> > > baz
> > > ```
> >
> > I believe this is correct, per
> > <a href="https://tc39.github.io/ecma262/#sec-object-environment-records-hasbinding-n">https://tc39.github.io/ecma262/#sec-object-environment-records-hasbinding-n</a>
> > and
> > <a href="https://tc39.github.io/ecma262/#sec-object-environment-records">https://tc39.github.io/ecma262/#sec-object-environment-records</a>-
> > getbindingvalue-n-s
>
> Hmm, I stil think that it should not be printed 'baz', because according to
> the p.B.3.3.3.1.d.ii.4.b('If thisEnvRec is not an object Environment Record,
> then') we don't invoke hasBinding, and just go to outer env recode
> <a href="https://tc39.github.io/ecma262/#sec-web-compat-evaldeclarationinstantiation">https://tc39.github.io/ecma262/#sec-web-compat-evaldeclarationinstantiation</a></span >
As I said on IRC, I wasn't commenting on the hoisting of baz, because the behaviour of block scoping of functions and annex B changes to that are somewhat hard to follow.
It looks like you're right about that HasProperty() not occurring from step 5, but it may occur further down in the algorithm, from `Let fobj be ! benvRec.GetBindingValue(F, false).`, as I believe in this instance, benv still refers to the with block.
I could be wrong about this, Adam Klein is much more knowledgable about the block-scoping of functions than I am.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>