[New Feature] Not using Docblock parameter types about psalm HOT 1 OPEN

<?php

/**
 * @param positive-int $value
 */
function myFunction(int $value): void
{
    if ($value < 1) {
        throw new Exception();
    }
}

<?php

/**
 * @param non-empty-string $value
 */
function myFunction(string $value): void
{
    if ($value === '') {
        throw new Exception();
    }
}