Thanks so much for the help, I really appreciate it! Maybe I’m just confused about what the feature really does. I was assuming it was similar to the VSCode functionality where it’ll actually suggest the correct typespec based on the inferred success typings. The docs for lsp-mode’s lsp-elixir made me think that that was the way it worked:
Suggest @spec annotations inline using Dialyzer`s inferred success typings. This requires Dialyzer.
Maybe I just misunderstood the feature. When I used VSCode I could just write a function and then above it, VSCode would suggest the correct @spec and I could insert it. From your screenshot it looks like maybe lsp-elixir just autocompletes the specs as you type? If that’s the case then I think everything is working fine for me; maybe the elixir-lsp docs just need the wording tweaked.
