This comment should specify that `D` is the def-id of the fn/method, as opposed to the id of the body itself.     As an alternative, we could get rid of this variant and give expression bodies their own def-id. Not yet sure which approach I prefer, have to read more.