The type isn't illegal.
Pike v7.6 release 112 running Hilfe v3.5 (Incremental Pike Frontend)
1[""];
Indexing the integer 1 with unknown method "". HilfeInput:1: HilfeInput()->___HilfeWrapper()
1["sgn"]();
(1) Result: 1
But the error in your example seems wrong, yes.