erlang/otp — pull request #303 by aronisstav (2014-03-21 16:22:12+00:00)
Title: Don't 'opaque-decorate' a success typing using an incompatible spec

Without this patch Dialyzer crashes when analyzing the supplemented test case.