Test case for phan/phan#3524

test.php

<?php
function get_thing_might_be_null():?int
{
    return 7;
}
{
    if($foo = get_thing_might_be_null() && $foo > 5) {
        echo "hello world";
    }
}
{
    if($foo = get_thing_might_be_null()) {
        if($foo>5) {
            echo "hello world";
        }
    }
}