function func(<<__Soft>> int ...$arg1) {}