// CR: 8.3.3
 // CR: 8.2.5
 async private Task TrashLikeCards(IInstallDestination destination)
 {
     await destination.TrashAlike(card);
 }