Commit 73f7e73

authored

Add support for the callable-string type

1 parent ff570e7 commit 73f7e73Copy full SHA for 73f7e73

File tree

+27

-0

lines changed

+27

-0

lines changed

Lines changed: 3 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -133,6 +133,9 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco`
`133`	`133`	`case 'class-string':`
`134`	`134`	`return new ClassStringType();`
`135`	`135`
	`136`	`+ case 'callable-string':`
	`137`	`+ return new IntersectionType([new StringType(), new CallableType()]);`
	`138`	`+`
`136`	`139`	`case 'array-key':`
`137`	`140`	`return new BenevolentUnionType([new IntegerType(), new StringType()]);`
`138`	`141`

Lines changed: 24 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1369,6 +1369,30 @@ public function dataUnion(): array`
`1369`	`1369`	`UnionType::class,`
`1370`	`1370`	`'\'stdClass\'\|class-string<Exception>',`
`1371`	`1371`	`],`
	`1372`	`+ [`
	`1373`	`+ [`
	`1374`	`+ new StringType(),`
	`1375`	`+ new IntersectionType([new StringType(), new CallableType()]),`
	`1376`	`+ ],`
	`1377`	`+ StringType::class,`
	`1378`	`+ 'string',`
	`1379`	`+ ],`
	`1380`	`+ [`
	`1381`	`+ [`
	`1382`	`+ new IntersectionType([new StringType(), new CallableType()]),`
	`1383`	`+ new ConstantStringType('test_function'),`
	`1384`	`+ ],`
	`1385`	`+ UnionType::class,`
	`1386`	`+ '\'test_function\'\|(callable(): mixed&string)',`
	`1387`	`+ ],`
	`1388`	`+ [`
	`1389`	`+ [`
	`1390`	`+ new IntersectionType([new StringType(), new CallableType()]),`
	`1391`	`+ new IntegerType(),`
	`1392`	`+ ],`
	`1393`	`+ UnionType::class,`
	`1394`	`+ '(callable(): mixed&string)\|int',`
	`1395`	`+ ],`
`1372`	`1396`	`[`
`1373`	`1397`	`[`
`1374`	`1398`	`IntegerRangeType::fromInterval(1, 3),`

Comments

(0)