Diagnostic: resolve bare fn in expected closure

Closes #15273 (I did not find how to get the identifier in the message :/ ... if someone knows how to do that I would be happy to rebase)

Also creates the span_help! macro associated with #18126