Fixed incorrect caching of symbols usage values

Fixes #318

src/types-usage-evaluator.ts

@@ -57,7 +57,11 @@ export class TypesUsageEvaluator {
 
 		visitedSymbols.add(fromSymbol);
 
-		return this.setUsageCacheValue(fromSymbol, toSymbol, false);
+		// note that we can't save negative result here because it might be not a final one
+		// because we might ended up here because of `visitedSymbols.has(symbol)` check above
+		// while actually checking that `symbol` symbol and we will store all its "children" as `false`
+		// while in reality some of them might be `true` because of cross-references or using the same children symbols
+		return false;
 	}
 
 	private setUsageCacheValue(fromSymbol: ts.Symbol, toSymbol: ts.Symbol, value: boolean): boolean {

tests/e2e/test-cases/recursive-types/config.ts

@@ -0,0 +1,5 @@
+import { TestCaseConfig } from '../../test-cases/test-case-config';
+
+const config: TestCaseConfig = {};
+
+export = config;

tests/e2e/test-cases/recursive-types/index.spec.js

@@ -0,0 +1 @@
+require('../run-test-case').runTestCase(__dirname);

tests/e2e/test-cases/recursive-types/input.ts

@@ -0,0 +1,3 @@
+import { FirstType } from './types';
+
+export type MyType = FirstType<string>;

tests/e2e/test-cases/recursive-types/output.d.ts

@@ -0,0 +1,6 @@
+export type ThirdType = number;
+export type SecondType<T, V> = T extends any ? V : FirstType<T>;
+export type FirstType<T> = SecondType<ThirdType, T>;
+export type MyType = FirstType<string>;
+
+export {};

tests/e2e/test-cases/recursive-types/types.ts

@@ -0,0 +1,5 @@
+type ThirdType = number;
+
+type SecondType<T, V> = T extends any ? V : FirstType<T>;
+
+export type FirstType<T> = SecondType<ThirdType, T>;