<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#c65">Comment # 65</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:gskachkov@gmail.com" title="GSkachkov <gskachkov@gmail.com>"> <span class="fn">GSkachkov</span></a>
</span></b>
<pre>(In reply to Caitlin Potter (:caitp) from <a href="show_bug.cgi?id=163208#c63">comment #63</a>)
<span class="quote">> (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</span >
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></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>