coins and coin mismatch in code example

[T1MOH593]

Url

https://aptos.dev/en/build/smart-contracts/move-security-guidelines#example-insecure-code-2

Describe the content issue

This code block:

  public fun repay_flash_loan<T>(rec: Receipt, coins: Coin<T>) {
    let Receipt{ amount } = rec;
    assert!(coin::value<T>(&coin) >= rec.amount, 0);
    deposit(coin);
  }

Section

move-and-smart-contracts

[github-actions]

@aptos-labs/move-eng