Confusion with conditional on false

[andyg0808]

I think both examples here should pass, but only the one with null does:
https://psalm.dev/r/ad857f2e4b

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/ad857f2e4b

<?php

/**
 * @template T as int|false
 * @param T $value
 * @return int
 */
function falseDoesntWork($value) {
    if ($value === false) {
       return -1;
    }
    return $value;
}

/**
 * @template T as int|null
 * @param T $value
 * @return int
 */
function butNullDoes($value) {
    if ($value === null) {
       return -1;
    }
    return $value;
}

Psalm output (using commit ba63ccb):

ERROR: DocblockTypeContradiction - 9:9 - T does not contain false

ERROR: FalsableReturnStatement - 12:12 - The declared return type 'int' for falseDoesntWork does not allow false, but the function returns 'T'

ERROR: InvalidFalsableReturnType - 6:12 - The declared return type 'int' for falseDoesntWork does not allow false, but 'T|int' contains false