I commented on the wrong line. My actual note was about https://github.com/cms-sw/cmssw/pull/3814/files#diff-447c943d4c5bded8f18c8a6dfd2722d9L258 which is not a destructor.