varargs pattern test
new feature: varargs patterns with `:` instead of `@`
unnamed typeparams example