James Beem

also seeing this error for what it's worth

I'd like to take this issue

I'm wondering if there isn't some heavy lifting going on from the emacs "workspaces" in my other setup. I can flip between project and get correct type info from either...

Yea it seems clear that if I'm getting the behavior from something other than the lsp in emacs then it's probably not the concern of the lsp here. If nvim-metals...

I've opened a separate issue, but this may be just the place to ask for an annotation to override the default generator that you get from deriving a Gen for...