Gavin Wood mentioned it here, assets are destroyed before the xcm message is sent.
Statemint trusts the Polkadot Relay Chain to have destroyed the 1 DOT on its side prior to sending the message. (It does!)
When teleporting assets from chain A to chain B, chain A destroyed the assets, but the XCM instructions execution failed
Can the destroyed assets be recovered?
If yes, how to recover? Is it by recasting?
If it is by recasting, can NFT be recasted with the original ID?
Some documentation I've found (not related to XCM) shows that assets are locked when transferred across chains, not destroyed. I think if it is a locked asset, it is very easy to recover by unlocking, but here, it is destroyed rather than locked, destroyed and locked are not equal, right?
ToStakingPot<Runtime>
.