Verify stub aliases in CI (#13682)

In the same time, let's not verify implementation aliases since they may now legitimately differ from their aliased function/method counterparts (think about the ext/dom refactoring where e.g. many return type declarations have changed). Additionally, unnecessary `@no-verify` tags are cleaned up.

Author: kocsismate

.github/actions/verify-generated-files/action.yml

@@ -4,12 +4,11 @@ runs:
   steps:
     - shell: bash
       run: |
-        set -x
+        set -ex
         [[ "$OSTYPE" == "darwin"* ]] && export PATH="$(brew --prefix)/opt/bison/bin:$PATH"
         scripts/dev/credits
         scripts/dev/genfiles
         Zend/zend_vm_gen.php
         ext/tokenizer/tokenizer_data_gen.php
-        build/gen_stub.php -f
-        build/gen_stub.php --generate-optimizer-info
+        build/gen_stub.php -f --generate-optimizer-info --verify
         git add . -N && git diff --exit-code

build/gen_stub.php

@@ -5922,7 +5922,7 @@ function initPhpParser() {
     $errors = [];
 
     foreach ($funcMap as $aliasFunc) {
-        if (!$aliasFunc->alias) {
+        if (!$aliasFunc->alias || $aliasFunc->aliasType !== "alias") {
             continue;
         }
 

ext/bz2/bz2.stub.php

@@ -14,21 +14,18 @@ function bzread($bz, int $length = 1024): string|false {}
 /**
  * @param resource $bz
  * @implementation-alias fwrite
- * @no-verify Uses different parameter name
  */
 function bzwrite($bz, string $data, ?int $length = null): int|false {}
 
 /**
  * @param resource $bz
  * @implementation-alias fflush
- * @no-verify Uses different parameter name
  */
 function bzflush($bz): bool {}
 
 /**
  * @param resource $bz
  * @implementation-alias fclose
- * @no-verify Uses different parameter name
  */
 function bzclose($bz): bool {}
 

ext/bz2/bz2_arginfo.h

@@ -776,7 +776,6 @@ public function character_set_name(): string {}
     /**
      * @return true
      * @alias mysqli_close
-     * @no-verify
      */
     public function close() {} // TODO make return type void
 
@@ -989,7 +988,6 @@ public function set_opt(int $option, $value): bool {}
     /**
      * @return true
      * @alias mysqli_ssl_set
-     * @no-verify
      */
     public function ssl_set(
         ?string $key,
@@ -1242,7 +1240,6 @@ public function bind_result(mixed &...$vars): bool {}
     /**
      * @return true
      * @alias mysqli_stmt_close
-     * @no-verify
      */
     public function close() {} // TODO make return type void
 

ext/mysqli/mysqli.stub.php

@@ -245,10 +245,7 @@ final public static function webPhar(
 
 class PharData extends RecursiveDirectoryIterator implements Countable, ArrayAccess
 {
-    /**
-     * @implementation-alias Phar::__construct
-     * @no-verify PharData constructor accepts extra $format argument
-     */
+    /** @implementation-alias Phar::__construct */
     public function __construct(string $filename, int $flags = FilesystemIterator::SKIP_DOTS|FilesystemIterator::UNIX_PATHS, ?string $alias = null, int $format = 0) {}
 
     /** @implementation-alias Phar::__destruct */
@@ -299,14 +296,12 @@ public function decompressFiles() {} // TODO make return type void
     /**
      * @tentative-return-type
      * @implementation-alias Phar::compress
-     * @no-verify
      */
     public function compress(int $compression, ?string $extension = null): ?PharData {}
 
     /**
      * @tentative-return-type
      * @implementation-alias Phar::decompress
-     * @no-verify
      */
     public function decompress(?string $extension = null): ?PharData {}
 

ext/mysqli/mysqli_arginfo.h

@@ -800,10 +800,7 @@ public function __construct(object|string $class, string $constant) {}
 
     public function getEnum(): ReflectionEnum {}
 
-    /**
-     * @implementation-alias ReflectionClassConstant::getValue
-     * @no-verify
-     */
+    /** @implementation-alias ReflectionClassConstant::getValue */
     public function getValue(): UnitEnum {}
 }