Type-inference with two variables that must have the same type

[jishnub]

Yes, specializing this way definitely works, but it’s really a last resort I was hoping that this may be handled at a lower level