Eh, I seriously doubt that we will be changing the distance a mile represents if, for some bizarre reason, a meter gets redefined. Likewise, pounds and gallons and so forth. These measurements "defined in metric" is really more of a "formal conversion rate" ala converting between degrees F and C.

> if, for some bizarre reason, a meter gets redefined

Miles, feet and yards were tied to the meter in 1893 (https://en.wikipedia.org/wiki/Mendenhall_Order).

The meter got redefined 3 times since then (https://en.wikipedia.org/wiki/History_of_the_metre#Summary_o...)