COQ opens while using Telescope

[mrphil2105]

I often experience coq_nvim opening while typing in Telescope. This makes shortcuts in Telescope not work which is super frustrating and breaks the functionality of Telescope. Any idea what might be causing this?

[mrphil2105]

Any update on this? This is still an issue and is very annoying.

[ccbhj]

Maybe you can post your telescope and coq config here, might be of help for reproducing the issue