Hint: Dart is a dynamically typed language. The covariant generics and the implicit downcasts are there on purpose.
The lack of an arguments object is a feature not a bug. A rest argument like in Lisp is much better for optimization. The design isn't done yet given that Dart has optional arguments a rest argument would fit in.
