5.2.2 1

interface I<T, U> {
    a: [T, U]
}

function main() {
    let i: I<number, string> = {a: [1, "abc"]}
    assertEQ(typeof i.a, 'object')
    assertEQ(typeof i.a[0], 'number')
    assertEQ(i.a[1], 'string')
}

05.generics/02.generic_instantiations/02.explicit_generic_instantiations/interface_1.sts
/home/botsman/data/sa/tmp/gen/05.generics/02.generic_instantiations/02.explicit_generic_instantiations/interface_1.sts

Result: FAILED
Execution time: 0.92 sec
Steps to reproduce:

Run es2panda: /home/botsman/data/sa/build/bin/es2panda --arktsconfig=/home/botsman/data/sa/build/tools/es2panda/generated/arktsconfig.json --gen-stdlib=false --extension=sts --opt-level=2 --output=/home/botsman/data/sa/tmp/intermediate/05.generics/02.generic_instantiations/02.explicit_generic_instantiations/interface_1.sts.abc /home/botsman/data/sa/tmp/gen/05.generics/02.generic_instantiations/02.explicit_generic_instantiations/interface_1.sts
Output: 'TypeError: Array element type '"abc"' is not assignable to explicit type 'int' [interface_1.sts:28:40]'
Error: 'ES2PANDA_FAIL'
Return code: 1

To reproduce with URunner run:
/home/botsman/data/sa/runtime_core/static_core/tests/tests-u-runner/runner.sh --ets-cts --build-dir="/home/botsman/data/sa/build" --processes=8 --work-dir=/home/botsman/data/sa/tmp --show-progress=True --verbose=VerboseKind.ALL --verbose-filter=VerboseFilter.ALL --spec-report --spec-file=/home/botsman/data/sa/arktsspecification.pdf --filter="*02.explicit_generic_instantiations*" --force-generate --compare-files-iterations=2  --test-file 05.generics/02.generic_instantiations/02.explicit_generic_instantiations/interface_1.sts
Expected output:

Actual output (stdout):
TypeError: Array element type '"abc"' is not assignable to explicit type 'int' [interface_1.sts:28:40]

Actual error (stderr):
ES2PANDA_FAIL

Actual return code:
1

Sergey Andreev/arkcompiler_runtime_core

内容风险标识

评论 (0)

Sergey Andreev/arkcompiler_runtime_core .gitee-modal { width: 500px !important; }

内容风险标识

5.2.2 1

评论 (0)

搜索帮助

Sergey Andreev/arkcompiler_runtime_core