Слияние кода завершено, страница обновится автоматически
Случай ошибки:
class AAA {
static a: number = 10
}
function foo(b:string[]):number | AAA {
if ("b") {
return 1;
}
return new AAA();
}
function main(p:string[]) {
let tmp : number | AAA = foo(p);
if (tmp instanceof AAA) {
tmp = AAA.a;
}
let tmpl = tmp as number;
}
Команда выполнения:
out/bin/es2panda test.sts --output test.abc
out/bin/verifier --boot-panda-files=out/plugins/ets/etsstdlib.abc --load-runtimes=ets --config-file=tests/tests-u-runner/runner/plugins/ets/ets-verifier.config test.abc
Ошибки:
[TID 222425] E/verifier: Верификатор ошибка 31: Недопустимый вызов с неподходящими параметрами
[TID 222425] E/verifier: Ошибка: метод void test.ETSGLOBAL::main([Ljava/lang/String;) не прошел проверку
Проверка должна пройти успешно.
Случай ошибки:
class AAA {
static a: number = 10
}
function foo(b:string[]):number | AAA {
if ("b") {
return 1;
}
return new AAA();
}
function main(p:string[]) {
let tmp : number | AAA = foo(p);
if (tmp instanceof AAA) {
tmp = AAA.a;
}
let tmpl = tmp as number;
}
Команда выполнения:
out/bin/es2panda test.sts --output test.abc
out/bin/verifier --boot-panda-files=out/plugins/ets/etsstdlib.abc --load-runtimes=ets --config-file=tests/tests-u-runner/runner/plugins/ets/ets-verifier.config test.abc
Вход Перед тем как оставить комментарий