Joachim Breitner authored Mar 21, 2015 and Herbert Valerio Riedel committed Mar 22, 2015

to not accidentially invalidate a strictness signature with a Diverges
result info. This seems to fix #10176.

(cherry picked from commit b4efac59)