Misledgering possibility for double spending attack
If a block contains an invalid transaction, it will be rejected by all honest full nodes. Full nodes verify transactions in a block in linear order, so after the first transaction is encountered, the nodes will deem the UTXOs being used as spent. Then when the second transaction (the double spend) is encountered, the nodes will see it as trying to spend already-spent outputs, and reject it along with the block.