| // Copyright (C) 2024 Igalia, S.L. All rights reserved. | |
| // This code is governed by the BSD license found in the LICENSE file. | |
| /*--- | |
| esid: sec-module-namespace-exotic-objects-hasproperty-p | |
| desc: _ [[HasProperty]] | |
| info: | | |
| [[HasProperty]] ( _P_, _Receiver_ ) | |
| 1. If IsSymbolLikeNamespaceKey(_P_, _O_), return ! OrdinaryGet(_O_, _P_, _Receiver_). | |
| 1. Let _exports_ be ? GetModuleExportsList(_O_). | |
| 1. ... | |
| template: trigger-on-possible-export | |
| ---*/ | |
| //- body | |
| key in ns; |