Thanks for updating this.

Although the restaurant has closed, the building will still be there.

Rather than deleting a closed business, an alternative is to change the name tag to old_name, use a lifecycle prefix on the "main" tag (in this case amenity=restaurant) and remove the tags which applied only to the closed business. You could also add a check_date tag if appropriate.

The advantages of doing this are that the history of the object is preserved and users of apps like StreetComplete will be prompted to check if there is a new business operating there.

I've undeleted the building and updated the tags in https://www.openstreetmap.org/way/487028114

https://wiki.openstreetmap.org/wiki/Lifecycle_prefix
https://wiki.openstreetmap.org/wiki/Key:check_date