Can't say I am suprised given that the compiler does not implement the cycle checking for tuple types that the algorithm from the manual contains.
Can't say I am suprised given that the compiler does not implement the cycle checking for tuple types that the algorithm from the manual contains.