. . "If this unique type cannot be determined, the dominant type is the unique type that all other types in the array can narrow to." . .