isString()->yes() && $secondType->isString()->yes()) { // prevents "class-string" vs "string" $firstTypeClass = \get_class($firstType); $secondTypeClass = \get_class($secondType); return $firstTypeClass === $secondTypeClass; } if ($firstType->isInteger()->yes() && $secondType->isInteger()->yes()) { // prevents "int" vs "int" $firstTypeClass = \get_class($firstType); $secondTypeClass = \get_class($secondType); return $firstTypeClass === $secondTypeClass; } if ($firstType->isFloat()->yes() && $secondType->isFloat()->yes()) { return \true; } if (!$firstType->isBoolean()->yes()) { return \false; } return $secondType->isBoolean()->yes(); } /** * E.g. first is string, second is bool */ public function areDifferentScalarTypes(Type $firstType, Type $secondType) : bool { if (!$firstType->isScalar()->yes()) { return \false; } if (!$secondType->isScalar()->yes()) { return \false; } // treat class-string and string the same if ($firstType->isString()->yes() && $secondType->isString()->yes()) { return \false; } if ($firstType->isInteger()->yes() && $secondType->isInteger()->yes()) { return \false; } if (!$firstType->isString()->yes()) { return \get_class($firstType) !== \get_class($secondType); } if (!$secondType instanceof ClassStringType) { return \get_class($firstType) !== \get_class($secondType); } return \false; } }