Two bits of info indicating extremely unlikely that this was engineered in a laboratory: A) Computer models show the binding function would be very poor for how it binds; B) The core code of the virus matches animal versions, not versions known to make humans sick.

Here's why: SARS-CoV-2 is very closely related to the virus that causes severe acute respiratory syndrome (SARS), which fanned across the globe nearly 20 years ago. Scientists have studied how SARS-CoV differs from SARS-CoV-2 — with several key letter changes in the genetic code.

Yet in computer simulations, the mutations in SARS-CoV-2 don't seem to work very well at helping the virus bind to human cells. If scientists had deliberately engineered this virus, they wouldn't have chosen mutations that computer models suggest won't work.

https://www.livescience.com/coronavirus-not-human-made-in-lab.html

This evidence for natural evolution was supported by data on SARS-CoV-2’s backbone – its overall molecular structure. If someone were seeking to engineer a new coronavirus as a pathogen, they would have constructed it from the backbone of a virus known to cause illness. But the scientists found that the SARS-CoV-2 backbone differed substantially from those of already known coronaviruses and mostly resembled related viruses found in bats and pangolins.
https://www.scripps.edu/news-and-events/press-room/2020/20200317-andersen-covid-19-coronavirus.html