===description===
reports null returned from non nullable
===file===
<?php
function f(): string {
    return null;
}
===expect===
InvalidReturnType@3:4: Return type 'null' is not compatible with declared 'string'
===ignore===
TODO
