Fix correctness issue in ZkProgram typing #1962
+42
−45
Open
Annotations
10 errors and 1 warning
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L187
Type '(xs: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L195
Type '(x: any, y: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L202
Type '(x: any, y: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L208
Type '(x: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L214
Type '(x: any, y: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L220
Type '(x: any, y: any) => Promise<{ publicOutput: any; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L272
Argument of type '(xs: Field3[]) => Promise<void>' is not assignable to parameter of type '(args_0: Field3[]) => Field3 | Promise<Field3>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L286
Argument of type '(x: Field3, y: Field3) => Promise<void>' is not assignable to parameter of type '(args_0: Field3, args_1: Field3) => Field3 | Promise<Field3>'.
|
|
Build examples:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L296
Argument of type '(x: Field3, y: Field3) => Promise<void>' is not assignable to parameter of type '(args_0: Field3, args_1: Field3) => Field3 | Promise<Field3>'.
|
|
Build examples
Process completed with exit code 2.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Loading