Better loop detection in findTypeShape
Andreas pointed out, in !3466 (closed), that my fix for #18304 was not quite right. This patch fixes it properly, by having just one RecTcChecker rather than (implicitly) two nested ones, in findTypeShape.
Andreas pointed out, in !3466 (closed), that my fix for #18304 was not quite right. This patch fixes it properly, by having just one RecTcChecker rather than (implicitly) two nested ones, in findTypeShape.