import 0x0.LibraAccount;
import 0x0.LibraCoin;

main() {
  let coin: R#LibraCoin.T;

  // should fail because default account doesn't have the capability
  coin = LibraCoin.mint_with_default_capability(100);
  LibraAccount.deposit(get_txn_sender(), move(coin));

  return;
}

// will fail with MissingData because non-Association sender doesn't have the mint capability
// check: Execution(MissingData)