Not an expert on the matter, but τ_0_0 looks to me like the compiler is leaking implementation details here.
This post appears to clarify what the zeroes represent (and that τ_0_0 represents the top-most generic parameter).
2 Likes