According to PEP-0526, you should annotate the types first, then do the unpacking
a: intb: inta, b = t