ComplexOptCheck type has the type of the first opt in it