SubtypeVisitor.visit_tuple_type is to blame here.variadic_tuple_subtype declares in its docstring that the cases where right is fixed or [...] should be handled by the caller. and yet it's the only ...

The @a_sync('async') decorator can be used to define an asynchronous function that can also be executed synchronously.