Post #2753901

@gfoster@hachyderm.io I had forgotten about @⁠DebugDescription, thanks a lot for calling it out! In my quick test, it looks like @⁠DebugDescription emits a @⁠section(".lldbsummaries"), which contains a sort of format string. So it’s subtly different than the @⁠section(".lldbformatters") generated by the PR I linked to, which is presumably more flexible as it contains actual code the debugger executes. But most types probably don’t need that flexibility.