Minimal support for object type #15
vudaltsovcheck.yml
on: push
check
/
composer
27s
check
/
php-cs-fixer
17s
check
/
rector
16s
check
/
infection
42s
Matrix: check / phpstan
Matrix: check / psalm
Matrix: check / test
Annotations
4 errors and 10 warnings
|
check / rector
Process completed with exit code 1.
|
|
check / rector
Command "rector" is not defined.
|
|
check / composer
Process completed with exit code 1.
|
|
check / composer
Command "analyse-deps" is not defined.
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L88
Escaped Mutant for Mutator "InstanceOf_":
@@ @@
return match (true) {
$node instanceof ConstExprNullNode => nullT,
$node instanceof ConstExprFalseNode => falseT,
- $node instanceof ConstExprTrueNode => trueT,
+ false => trueT,
$node instanceof ConstExprIntegerNode => match (true) {
is_numeric($node->value) => intT($node->value),
default => throw new \LogicException(),
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L87
Escaped Mutant for Mutator "InstanceOf_":
@@ @@
{
return match (true) {
$node instanceof ConstExprNullNode => nullT,
- $node instanceof ConstExprFalseNode => falseT,
+ false => falseT,
$node instanceof ConstExprTrueNode => trueT,
$node instanceof ConstExprIntegerNode => match (true) {
is_numeric($node->value) => intT($node->value),
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L86
Escaped Mutant for Mutator "InstanceOf_":
@@ @@
private static function parseConstExpr(ConstExprNode $node): Type
{
return match (true) {
- $node instanceof ConstExprNullNode => nullT,
+ false => nullT,
$node instanceof ConstExprFalseNode => falseT,
$node instanceof ConstExprTrueNode => trueT,
$node instanceof ConstExprIntegerNode => match (true) {
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L85
Escaped Mutant for Mutator "MatchArmRemoval":
@@ @@
default => throw new \LogicException(),
},
$node instanceof ConstExprStringNode => stringT($node->value),
- default => throw new \LogicException(\sprintf('PhpDoc node %s is not supported', $node::class)),
};
}
/**
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L85
Escaped Mutant for Mutator "MatchArmRemoval":
@@ @@
return match (true) {
$node instanceof ConstExprNullNode => nullT,
$node instanceof ConstExprFalseNode => falseT,
- $node instanceof ConstExprTrueNode => trueT,
$node instanceof ConstExprIntegerNode => match (true) {
is_numeric($node->value) => intT($node->value),
default => throw new \LogicException(),
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L85
Escaped Mutant for Mutator "MatchArmRemoval":
@@ @@
{
return match (true) {
$node instanceof ConstExprNullNode => nullT,
- $node instanceof ConstExprFalseNode => falseT,
$node instanceof ConstExprTrueNode => trueT,
$node instanceof ConstExprIntegerNode => match (true) {
is_numeric($node->value) => intT($node->value),
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L85
Escaped Mutant for Mutator "MatchArmRemoval":
@@ @@
private static function parseConstExpr(ConstExprNode $node): Type
{
return match (true) {
- $node instanceof ConstExprNullNode => nullT,
$node instanceof ConstExprFalseNode => falseT,
$node instanceof ConstExprTrueNode => trueT,
$node instanceof ConstExprIntegerNode => match (true) {
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L79
Escaped Mutant for Mutator "Throw_":
@@ @@
$node instanceof GenericTypeNode => $this->parseIdentifier($node->type->name, $node->genericTypes),
$node instanceof UnionTypeNode => orT(...array_map($this->parseTypeNode(...), $node->types)),
$node instanceof IntersectionTypeNode => andT(...array_map($this->parseTypeNode(...), $node->types)),
- default => throw new \LogicException(\sprintf('`%s` is not supported', $node::class)),
+ default => new \LogicException(\sprintf('`%s` is not supported', $node::class)),
};
}
private static function parseConstExpr(ConstExprNode $node): Type
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L78
Escaped Mutant for Mutator "InstanceOf_":
@@ @@
$node instanceof IdentifierTypeNode => $this->parseIdentifier($node->name),
$node instanceof GenericTypeNode => $this->parseIdentifier($node->type->name, $node->genericTypes),
$node instanceof UnionTypeNode => orT(...array_map($this->parseTypeNode(...), $node->types)),
- $node instanceof IntersectionTypeNode => andT(...array_map($this->parseTypeNode(...), $node->types)),
+ true => andT(...array_map($this->parseTypeNode(...), $node->types)),
default => throw new \LogicException(\sprintf('`%s` is not supported', $node::class)),
};
}
|
|
check / infection:
src/Internal/ContextualTypeParser.php#L72
Escaped Mutant for Mutator "MatchArmRemoval":
@@ @@
$node instanceof GenericTypeNode => $this->parseIdentifier($node->type->name, $node->genericTypes),
$node instanceof UnionTypeNode => orT(...array_map($this->parseTypeNode(...), $node->types)),
$node instanceof IntersectionTypeNode => andT(...array_map($this->parseTypeNode(...), $node->types)),
- default => throw new \LogicException(\sprintf('`%s` is not supported', $node::class)),
};
}
private static function parseConstExpr(ConstExprNode $node): Type
|