@psalm-check-type is not aware of the type defined using @psalm-type

[lens0021]

https://psalm.dev/r/8ccac2ea55

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/8ccac2ea55

<?php

class SomeWeb
{
    /**
     * @api
     * @psalm-type ResponseType = array{
     *   status: int,
     *   message: string,
     * }
     */
    public function someApi(): void
    {
        $response = [
            'status' => 0,
            'message' => 'success',
        ];

        /** @psalm-check-type $response = ResponseType */
        print_r(json_encode($response));

        /** @psalm-check-type $response = array{status?: int, message?: string} */
        print_r(json_encode($response));

        /**
         * @psalm-check-type $response = array{
         *   status?: int,
         *   message?: string,
         * }
         */
        print_r(json_encode($response));
    }
}

Psalm output (using commit 147505c):

ERROR: CheckType - 20:9 - Checked variable $response = ResponseType does not match $response = array{message: 'success', status: 0}

ERROR: InvalidDocblock - 31:9 - Invalid type '
*'

[robchett]

The multiline type issue will be fixed with #10326, the aliasing issue is still present