Php 7 i PHPStorm 10 Opcje

[Fred1485]

Chciałem pobawić się z PHP7, pobrałem testową wersję PHPStorm 10. Interpreter dodałem, więc efekty moich wypocin pisane w PHP7 w przeglądarce działają, ale w IDE wyrzuca dziwne błędy, mianowicie:

[PHP] pobierz, plaintext 
    public function __construct (array $resources, array $requirements, int $destruction)
    {
        $this->resources = $resources;
        $this->requirements = $requirements;
        $this->destruction = $destruction;
    }
[PHP] pobierz, plaintext 

Rzutuję $destruction na int, konkretyzując obiekt dostaję błąd:

[PHP] pobierz, plaintext 
$level = new \Game\Fields\DeepDeath([], [], 30);
[PHP] pobierz, plaintext 

Błąd dotyczy tego, że konstruktor oczekiwał nie int a obiektu o typie int. Już to drażni w oczy, mając metodę:

[PHP] pobierz, plaintext 
    public function getDestruction (): int
    {
        return $this->destruction;
    }
[PHP] pobierz, plaintext 

I wywołanie:

[PHP] pobierz, plaintext 
echo $level->getDestruction();
[PHP] pobierz, plaintext 

Otrzymuję kolejny błąd, jak się można domyślić, że nie mam metody __toString w obiekcie int. IDE bierze wartość skalarną jakby był to obiekt. Dodam, że w przeglądarce działa wszystko. Może trzeba w opcjach przełączyć coś?

[Fred1485]

No niestety w EAP to samo (IMG:style_emoticons/default/tongue.gif) Trzeba będzie napisać do twórców.

--edit

Na stacku napisali, żeby zmienić int na \int i o dziwo działa. Co u licha?

Ten post edytował Fred1485 22.12.2015, 16:29:19