Unfortunately, debug-time-function-bodies isn't an "officially" supported flag, so improving it isn't a high priority right now. ...That said, we'd be more tha

Unfortunately, debug-time-function-bodies isn't an "officially" supported flag, so improving it isn't a high priority right now. ...That said, we'd be more than happy to take improvement PRs in this area, if you're feeling up for it!