Specialization on vararg of types

[Benny]

@nsajko

Test.detect_unbound_args warns about this method because the static parameter is not always fully constrained

Is it possible that this unorthodox feature is also a bug because of this? Would be a shame considering we don’t have alternatives this deep into the type system.