Eric Botcazou Thu, 25 Jul 2019 12:10:16 -0700
> That seems misleading, unless the exception is really never thrown. See my earlier answer to Richard.
-- Eric Botcazou