carbon2-commit: Correct a misunderstanding of the semantics of #'return in #'symbol-file.