| 09:03 | <Aapo Alasuutari> | Now here's a spec question: Can GetBindingValue of Module Environment Record call user code? Inside the GetBindingValue AO when an indirect binding is accessed, the website thinks that the GetBindingValue call to get the value can call UC but the [[Get]] method of Module Namespace Exotic Objects does not think GetBindingValue can call UC. |
| 15:35 | <bakkot> | I don't believe so; that's probably a bug from when we were doing manual annotations |
| 15:37 | <bakkot> | GetBindingValue does sometimes invoke user code (because it can trigger getters) but in this case it's actually always invoking another module environment's GetBindingValue |
| 18:08 | <Aapo Alasuutari> | I don't believe so; that's probably a bug from when we were doing manual annotations |
| 18:14 | <Aapo Alasuutari> | Unrelated question: I'm kind of wondering about OrdinarySetWithOwnDescriptor's AO step 2.e.i: We've just called GetOwnProperty on Receiver for property P, and if we get undefined from that then we assert that Receiver does not have a property P: What is this for specifically? |