require-returns and require-returns-check are quite helpful, and we could exploit this kind of parsing of function bodies further by checking that that the type expressed matches the type returned (rather than merely testing against presence). (Make sure to check that @returns {undefined} is tested as well, as it too benefits from checking in case the type returned--even if confirmed by require-returns-check as being present--is not undefined.)