examples/plugins/TaintActiveRecords.php:30:16: LessSpecificImplementedReturnType: The inherited return type 'int<0, max>' for Psalm\Plugin\EventHandler\AddTaintsInterface::addTaints is more specific than the implemented return type for Psalm\Example\Plugin\TaintActiveRecords::addtaints 'int' (see https://psalm.dev/166)

src/Psalm/Internal/Analyzer/CommentAnalyzer.php:246:17: PropertyTypeCoercion: $var_comment->removed_taints expects 'int<0, max>', parent type 'int' provided (see https://psalm.dev/198)

src/Psalm/Internal/Analyzer/Statements/Expression/ArrayAnalyzer.php:489:49: PropertyTypeCoercion: $taint_source->taints expects 'int<0, max>', parent type 'int' provided (see https://psalm.dev/198)

src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/InstancePropertyAssignmentAnalyzer.php:512:45: PropertyTypeCoercion: $taint_source->taints expects 'int<0, max>', parent type 'int' provided (see https://psalm.dev/198)

src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/InstancePropertyAssignmentAnalyzer.php:614:37: PropertyTypeCoercion: $taint_source->taints expects 'int<0, max>', parent type 'int' provided (see https://psalm.dev/198)

src/Psalm/Internal/Analyzer/Statements/Expression/AssignmentAnalyzer.php:454:13: ArgumentTypeCoercion: Argument 11 of Psalm\Internal\Analyzer\Statements\Expression\AssignmentAnalyzer::analyzeAssignment expects int<0, max>, but parent type int-mask-of<class-constant(Psalm\Type\TaintKind::*)> provided (see https://psalm.dev/193)

src/Psalm/Internal/Analyzer/Statements/Expression/AssignmentAnalyzer.php:505:17: ArgumentTypeCoercion: Argument 8 of Psalm\Internal\Analyzer\Statements\Expression\AssignmentAnalyzer::analyzeAssignValueDataFlow expects int<0, max>, but parent type int-mask-of<class-constant(Psalm\Type\TaintKind::*)> provided (see https://psalm.dev/193)

src/Psalm/Internal/Analyzer/Statements/Expression/AssignmentAnalyzer.php:615:14: ReferenceConstraintViolation: Variable $removed_taints is limited to values of type int-mask-of<class-constant(Psalm\Type\TaintKind::*)> because it is passed by reference, int<0, max> type found. Use @param-out to specify a different output type (see https://psalm.dev/086)

src/Psalm/Internal/Analyzer/Statements/Expression/AssignmentAnalyzer.php:618:13: ReferenceConstraintViolation: Variable $removed_taints is limited to values of type int-mask-of<class-constant(Psalm\Type\TaintKind::*)> because it is passed by reference, int<0, max> type found. Use @param-out to specify a different output type (see https://psalm.dev/086)