The supreme court of Pakistan ordered the demolition of a mosque built on an encroached public land. There was a lot of blowback from the religious community about the decision. Many religious ulema termed the decision as Un-Islamic and threatened violence if any such step is taken.

What’s the Islamic ruling in such cases or is there a precedent in Islamic history of demolishing such mosques ?