Strange backticks in auto-complete

[dsyme]

The following shows strange backticks, after pressing space where the cursor is:

[dsyme]

This might be a good first issue, it might be because an empty string for "no parameter name" is getting backticks, and the parameter name is not being skipped

[vzarytovskii]

I know that @psfinaki is working on tooltips for keywords issue, might be interested in this one too?

[psfinaki]

Yeah I can jump on that shortly.

[psfinaki]

@dsyme can reproduce and have an idea for a fix. Just what do we actually want there? Generated arguments names like arg1, arg2 and so on?

[kerams]

Generated arguments names like arg1, arg2 and so on?

Surely they are known/defined but not propagated correctly in some contexts?

[dsyme]

@psfinaki let's chat via teams later today

[vzarytovskii]

Generated arguments names like arg1, arg2 and so on?

Surely they are known/defined but not propagated correctly in some contexts?

They are, except some places like

let inline apply callback a = callback a

Then, when we try to get hints for callback, it doesn't have an argument name.

[psfinaki]

Minimal repro is let f g x = g x