On Thu, 13 Aug 2015, John Cremona wrote:
The trouble is that functions have many exit points and if you ever have something like "if trivial: return 1" then the returned value will be int(1), and such cases might not be in doctests (though of course they should).
True. But will it hurt, if we accidentally change if trivial: return 1 return 2 to if trivial: return 1 return Integer(2) ? And a reviewer should see this, if the patch is about the return type. -- Jori Mäntysalo
