o_IsSupertypeOfContinuationType

{@inheritDoc}

Since the only things that can be done with continuations are to restart them or to exit them, continuation subtypes must accept any values that could be passed as arguments or as the return value to the supertype. Therefore, continuation types must be contravariant with respect to the contained functionType's arguments, and also contravariant with respect to the contained functionType's result type.