TypeError arg# on \string when passing objects implementing __toString() cast function

[scaytrase]

<?php

class Stringular
{
    public function __toString()
    {
        return 'test string';
    }
}

function test(\string $test)
{
    echo $test;
}

test(new Stringular());

C:\Work\Tools\PHP7\php.exe C:\Work\Tools\phan\sample.php
test string

> C:\Work\Tools\PHP7\php.exe phan sample.php
sample.php:16 TypeError arg#1(test) is \stringular but \test() takes \string defined at sample.php:11

[rlerdorf]

Note that \string is not valid. I know it works in PHP-7.0.0 but that was an oversight and will be fixed in 7.0.1
See: https://github.com/php/php-src/blob/PHP-7.0/NEWS#L58-L59

[scaytrase]

thank for noting this

[rlerdorf]

Actually, we need to check if the calling file has strict_types enabled here. This is a type error in strict mode.

[scaytrase]

Yes, though to open another bug for this.

[morria]

I added the issue #71 to cover the remaining parts of this issue.