Tab completion inserts import that creates an import cycle

I have experienced that tab-completion to generate code will sometimes
- add imports that are not actually used in the final version of the tab-completed code (I don't know how this works, it seems like tab-completion makes sometimes intermediary versions that it corrects later, maybe on a second tab press)
- these imports may create import cycles, effectively shutting down the whole HLS interaction (as this is a fatal error)

I just experienced this in the Agda code base (which has 450 modules).
It is probably not easy to generate a small reproducer, but maybe some finds one or I can try later.