Spec for ResultContract#convert+