Void expressions in value places... in non-value places

[Simn]

#11356 lead to a discussion which can be simplified to the following example:

class Main {
	static function main() {
		[var tmp];
	}
}

There are two interpretations here:

1. It should fail because the var tmp expression is Void, so we have Void in a value-place.
2. It should not fail because the array declaration itself is in a non-value place, which means its elements could be generated as a block instead.

The analyzer already interprets it as 2., but the typer currently emits the array declaration. It's easy to argue that it shouldn't, but I'm somewhat worried about trying to be too clever here. So it anyone has an opinion on this, please let me know!