In that case we’d better keep the building shape but tag it differently, using a lifecycle prefix, i.e. instead of "building", call it "demolished:building".  This will prevent anyone mapping by looking at current imagery to think the building is missing.
https://www.openstreetmap.org/way/243989517
When you refresh the map the building should be gone (might take a few hours because of the current load problems with tile servers).