Yeah, this is a tricky problem. I hadn't thought of this instance, but a similar one applies when the result type depends on an argument value. The symbols for the params of the $body method will appear in the regular method's result type as we just copy it over.