On Sunday, 4 November 2012 at 19:30:49 UTC, Tobias Pankrath wrote:
Sadly you have to cast, because typeof([]) is void[]. Alternatively you could define an constructor that takes void[] but insists of the argument being empty.
Great explanation - thanks!