Аннотация возвращаемого значения @return?

Question

[kedavr13]

Внутри функции получаю вот такой вот массив

$productsInfo['cart'][$orderId]['face'] = int;
        $productsInfo['cart'][$orderId]['name'] = string;
        $productsInfo['cart'][$orderId]['id'] = int;
        $productsInfo['cart'][$orderId]['quantity'] = int;
        $productsInfo['cart'][$orderId]['discount_type'] = int|null;
        $productsInfo['cart'][$orderId]['discount'] = int|null;
        $productsInfo['email'] = string;

Пробовал написать аннотацию возвращаемого значения, но псалм не хочет пропускать никакой вариант кроме этого

/**
     * @return array{email: string, cart: array<array-key, array{discount?: int<min, max>|null,
     *     discount_type: 1|2|null, face: int, id: int, name: string, quantity: 1}>}
     */

Почему для discount пслам требует установить знак ? а так же тип int<min, max>|null а не просто discount: int|null?

Comments

[Rsa97]

Возможно, на каком-то из маршрутов функции поле discount вообще не записывается в массив.

[kedavr13]

Rsa97,

/**
     * @return array{email: string, cart: array<array-key, array{discount?: int<min, max>|null,
     *     discount_type: 1|2|null, face: int, id: int, name: string, quantity: 1}>}
     */
    protected function getPIFO(P $payment): array
    {
        $productsInfo = [];
        $oIAT = $payment->getOIAT();
        $oI = $oIAT['oI'];
        $o = $this->client->query('getO', ['o_i' => $oI]);
        $productsInfo['cart'][$oI]['face'] = (int)$o[$oI]['face'];
        $sum = (int)$order[$oI]['sum'];
        $discount = $productsInfo['cart'][$oI]['face'] - $sum;
        $productsInfo['cart'][$oI]['name'] = (string)$o[$oI]['product_title'];
        $productsInfo['cart'][$oI]['id'] = (int)$o[$oI]['product_id'];
        $productsInfo['cart'][$oI]['quantity'] = 1;
        $productsInfo['email'] = (string)$o[$oI]['from_email'];
        $productsInfo['cart'][$oI]['discount_type'] = null;
        $productsInfo['cart'][$oI]['discount'] = null;
        if ($discount !== 0) {
            $type = $discount > 0 ? self::DISCOUNT : self::EXTRA_CHARGE;
            $productsInfo['cart'][$oI]['discount_type'] = $type;
            $productsInfo['cart'][$oI]['discount'] = $discount;
        }
        return $productsInfo;
    }

Да вроде при любом сценарии он объявляется. Как минимум как null

[Andry]

Вау! а кто такие аннотации понимает? Попробовал phpedit - ругается.

[kedavr13]

Andry, psalm, там же вроде написано в вопросе.