lean.nvim
lean.nvim copied to clipboard
trythis candidates should be selectable via <CR> or autocomplete
Given multiple different suggestions in the diagnostics, it's probably better to decide which to insert via a normal pum / completion selection.