(level, ...args)
| 3941 | { |
| 3942 | let groupStarted= false; |
| 3943 | const inConsoleGroup= (level, ...args)=> { |
| 3944 | if( !groupStarted) { |
| 3945 | // eslint-disable-next-line @endo/no-polymorphic-call |
| 3946 | console.groupCollapsed('Removing unpermitted intrinsics'); |
| 3947 | groupStarted= true; |
| 3948 | } |
| 3949 | // eslint-disable-next-line @endo/no-polymorphic-call |
| 3950 | return console[level](...args); |
| 3951 | }; |
| 3952 | |
| 3953 | // These primitives are allowed for permits. |
| 3954 | const primitives= ['undefined', 'boolean', 'number', 'string', 'symbol']; |