PhpStorm IDE 2017.2 ne met pas en évidence l'erreur "[opérateur] non supporté pour les chaînes" en PHP 7.1.x

Question

J'ai installé PhpStorm version 2017.2 et j'ai configuré PHP 7.1 sous Paramètres> Langages et Frameworks> PHP> Niveau de langage PHP

Malheureusement, il ne met pas en évidence les erreurs possibles lors de l'utilisation de l'opérateur d'index de tableau vide sur les variables de chaîne (description: http://php.net/manual/de/migration71.incompatible.php#migration71.incompatible.empty-string-index-operator)

code:

<?php 
$test = 'a string'; 

$test[] = 'an array value'; 

echo "it works"; 

Lors de l'exécution du code avec PHP 7.1.x, l'erreur suivante se produit

Fatal error: Uncaught Error: [] operator not supported for strings in

donc le code ne fonctionne définitivement pas.

Quelqu'un peut-il m'aider avec la configuration de PhpStorm?

Answer 1

C'est un bug, s'il vous plaît voter ici: https://youtrack.jetbrains.com/issue/WI-36636