Consider the destruct pattern "_" as being persistent
If I do:
iDestruct ("A" with "B") as "[#X #Y]".
Then "B" is not consumed because the destruct pattern only produce persistent hypotheses. So far so good.
But if I do:
iDestruct ("A" with "B") as "[#X _]".
That's not the case.