// TARGET_BACKEND: JS_IR, JS_IR_ES6
