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!