Linting dapp-agoric-basics #278

Annotations

10 errors

Type 'bigint | Key[] | CopyBag<Key> | CopySet<Key>' is not assignable to type 'Key[] | CopyBag<Key>'.

Property 'payload' does not exist on type 'Key[] | CopyBag<Key>'.

Property 'length' does not exist on type 'Key[] | CopyBag<Key>'.

Property 'payload' does not exist on type 'Key[] | CopyBag<Key>'.

Property 'map' does not exist on type 'Key[] | CopyBag<Key>'.

Argument of type '{ brand: globalThis.Brand; value: unknown[]; }' is not assignable to parameter of type 'Amount | null'.

Argument of type 'IterableIterator<[unknown, bigint]>' is not assignable to parameter of type 'Iterable<[Key, bigint]>'.

Argument of type '{ brand: globalThis.Brand; value: CopyBag<Key>; }' is not assignable to parameter of type 'Amount | null'.

Argument of type '{ brand: globalThis.Brand; value: bigint; }' is not assignable to parameter of type 'Amount | null'.

Argument of type '{}' is not assignable to parameter of type 'Brand'.