Add support for isMatch in phpstan type ext

[Seldaek]

@staabm sorry to bug you again but any clue why this does not work?

Ideally we'd have support for:

• isMatch (like match but returns bool instead of 0|1)
• matchStrictGroups (like match but makes sure all match groups are non-null if it matched)
• isMatchStrictGroups (same as above but returns bool instead of 0|1)
• all the above in matchAll variants

But at least isMatch would be great because that's used all over the place (I never use match as it returns int), and it is API compatible with match so I don't get why this fails.

[Seldaek]

The other question I have is that it does array{0: string, 1?: string|null} but as the lib forces PREG_UNMATCHED_AS_NULL I think it should be array{0: string, 1: string|null} i.e. 1 offset is always there, but may be null of course. Is there any way to tweak this?

[staabm]

any clue why this does not work?

I will have a look, but cannot promise today/tomorrow

The other question I have is that it does array{0: string, 1?: string|null} but as the lib forces PREG_UNMATCHED_AS_NULL I think it should be array{0: string, 1: string|null} i.e. 1 offset is always there, but may be null of course. Is there any way to tweak this?

I think thats already fixed - but not yet released - with phpstan/phpstan-src#3219

[staabm]

something is wrong with Hoa parsing the AST for the pattern.

it works as expected with a pattern like

Suggested change

	if (Preg::isMatch('/Price: (?P<currency>£|€)\d+/', $s, $matches)) {
	if (Preg::isMatch('/Price: (£|€)\d+/', $s, $matches)) {

[staabm]

opened a upstream bug report regarding the bogus-pattern:

phpstan/phpstan#11323

[staabm]

• isMatch (like match but returns bool instead of 0|1)

• matchStrictGroups (like match but makes sure all match groups are non-null if it matched)

• isMatchStrictGroups (same as above but returns bool instead of 0|1)

I think these should be doable in a similar way you did in this PR

• all the above in matchAll variants

match all is on the todo-list and not yet support in phpstan-src