Add command to resolve _ in generic type signature.

[Krzysztof-Cieslak]

By @7sharp9 on Slack:

@k_cieslak Yeah to replace the `<_,_,_,int,_,_>` with the inferred signature (edited) 
locking the types into place (edited) 

[7sharp9]

Would this be a quick fix or something like that?

[Krzysztof-Cieslak]

Yeah, that would be quick fix IMO

[7sharp9]

I’m thinking it might be tricky to find open generics...

On Tue, 1 Oct 2019 at 20:23, Krzysztof Cieślak [email protected] wrote:

Yeah, that would be quick fix IMO

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/fsharp/FsAutoComplete/issues/333?email_source=notifications&email_token=AAEPXSVFUGTKPG7KCVXDNATQMOPS3A5CNFSM4GTTFV32YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEACN5TI#issuecomment-537190093, or mute the thread https://github.com/notifications/unsubscribe-auth/AAEPXSR3XHQJP63Z4ZUK2RLQMOPS3ANCNFSM4GTTFV3Q .

[7sharp9]

let xx = Dictionary<_,string>()

There is no symbol for the underscore, the symbol xx has two generic parameters with no properties describing if they were inferred or annotated though.

[7sharp9]

You can get the solved generics from the constructor Typar etc but I don't think these are exposed to tooling, its a pity the _ does not have a symbol to cross reference etc.