Yes. It doesn't seem like hilfe recognizes the multiple assignment syntax, so it doesn't make any magic transformations.
Pike v7.7 release 47 running Hilfe v3.5 (Incremental Pike Frontend)
[int x]=({3});
(1) Result: ({ /* 1 element */ 3 })
dump wrapper
Last compiled wrapper: 001: mapping(string:mixed) ___hilfe = ___Hilfe->variables; 002: # 1 003: mixed ___HilfeWrapper() { return [int x]=({3}); ; } 004:
int x=3; dump wrapper
Last compiled wrapper: 001: mapping(string:mixed) ___hilfe = ___Hilfe->variables; 002: # 1 003: int x=3; 004: mixed ___HilfeWrapper() { return x; } 005: