Don't 'opaque-decorate' a success typing using an incompatible spec

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