The Config.IgnoreFuncBodies setting causes go/types to skip checking function bodies for function declarations, but not function literals. This is surprising, and probably just an oversight as function literals are rare outside of function bodies. @heschi noticed this while working on some gopls optimizations.
Not urgent, since AFAICT nobody has complained in 5+ years, but if we decide this should be corrected the fix is of course trivial.
We should probably just fix that - I assume it's a simple if. I assume this can only happen for function literals used in package-level variable initializations with function literals, and perhaps contrived other top-level declarations using functions such as unsafe.Sizeof (or the like) which take function literal operands.