Spec for ResultContract#convert