src/Psalm/Internal/Algebra/FormulaGenerator.php:152:38: UnnecessaryVarAnnotation: The @var string annotation for $var is unnecessary (see https://psalm.dev/212)

src/Psalm/Internal/Algebra/FormulaGenerator.php:423:30: UnnecessaryVarAnnotation: The @var string annotation for $var is unnecessary (see https://psalm.dev/212)

src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php:247:17: RedundantConditionGivenDocblockType: Docblock-defined type string for $part is always string (see https://psalm.dev/156)

src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php:247:24: RedundantConditionGivenDocblockType: Docblock-defined type string for $part is always string (see https://psalm.dev/156)

src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php:256:17: RedundantConditionGivenDocblockType: Docblock-defined type string for $part is always string (see https://psalm.dev/156)

src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php:256:24: RedundantConditionGivenDocblockType: Docblock-defined type string for $part is always string (see https://psalm.dev/156)

src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php:262:13: RedundantConditionGivenDocblockType: Docblock-defined type non-empty-string for $identifier is never false (see https://psalm.dev/156)

src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php:262:35: RedundantConditionGivenDocblockType: Docblock-defined type string can never contain false (see https://psalm.dev/156)

src/Psalm/Internal/Codebase/Reflection.php:429:33: UnusedPsalmSuppress: This suppression is never used (see https://psalm.dev/207)