### Example ```nim type MutualCyclicSeqA = distinct ref seq[MutualCyclicSeqB] MutualCyclicSeqB = distinct ref seq[MutualCyclicSeqC] MutualCyclicSeqC = distinct ref seq[MutualCyclicSeqA] var mt: MutualCyclicSeqA ``` ### Current Output ``` SIGSEGV ``` ### Expected Output ``` illegal recursion in type ``` ### Additional Information * I hit this bug during my refactorings in #13687