Update NPM packages

.husky/.gitignore

@@ -0,0 +1 @@
+_

.husky/pre-commit

@@ -0,0 +1,4 @@
+#!/bin/sh
+. "$(dirname "$0")/_/husky.sh"
+
+npm test

Makefile

@@ -31,7 +31,7 @@ clean:
 
 # Lint (source & built)
 lint:
-	yarn eslint . --fix --ext .js,.ts
+	yarn eslint . ./test ./examples --fix --ext .js,.ts
 
 # Run the complete test suite from test project
 test:

package.json

@@ -20,22 +20,22 @@
   },
   "homepage": "https://github.com/janjakubnanista/ts-type-checked#readme",
   "devDependencies": {
-    "@rollup/plugin-node-resolve": "^8.1.0",
+    "@rollup/plugin-node-resolve": "^11.2.1",
     "@types/node": "^14.0.18",
-    "@typescript-eslint/eslint-plugin": "^3.6.0",
-    "@typescript-eslint/parser": "^3.6.0",
+    "@typescript-eslint/eslint-plugin": "^4.22.0",
+    "@typescript-eslint/parser": "^4.22.0",
     "@wessberg/rollup-plugin-ts": "^1.2.27",
     "eslint": "^7.4.0",
-    "eslint-config-prettier": "^6.11.0",
+    "eslint-config-prettier": "^8.2.0",
     "eslint-plugin-prettier": "^3.1.4",
     "eslint-plugin-react": "^7.20.3",
-    "eslint-plugin-sort-imports-es6-autofix": "^0.5.0",
-    "husky": "^4.2.5",
+    "eslint-plugin-sort-imports-es6-autofix": "^0.6.0",
+    "husky": "^6.0.0",
     "lint-staged": "^10.2.11",
     "prettier": "^2.0.5",
     "rollup": "^2.20.0",
     "rollup-plugin-copy": "^3.3.0",
-    "typescript": "^3.9.6"
+    "typescript": "^4.2.4"
   },
   "husky": {
     "hooks": {
@@ -46,5 +46,8 @@
     "*.{js,ts}(x)?": [
       "eslint --fix"
     ]
+  },
+  "scripts": {
+    "prepare": "husky install"
   }
 }

src/transformer/typeDescriptor/typeDescriptorGenerator.ts

@@ -7,6 +7,7 @@ import { getDOMElementClassName } from './utils/getDOMElementClassName';
 import { getLibraryTypeDescriptorName } from './utils/getLibraryTypeDescriptorName';
 import { getPropertyTypeDescriptors } from './utils/getPropertyTypeDescriptors';
 import ts from 'typescript';
+import { typeFlags } from '../utils/debug';
 
 /**
  * A factory for TypeDescriptorGenerator functions.
@@ -95,7 +96,7 @@ export const createTypeDescriptorGenerator = (program: ts.Program, logger: Logge
   if (assert.isNever(type)) return { _type: 'never' };
 
   // For the checks below we need access to the TypeNode for this type
-  const typeNode = typeChecker.typeToTypeNode(type, scope);
+  const typeNode = typeChecker.typeToTypeNode(type, scope, undefined);
   const typeName = typeChecker.typeToString(type, scope);
 
   // True
@@ -263,5 +264,5 @@ export const createTypeDescriptorGenerator = (program: ts.Program, logger: Logge
     });
   }
 
-  throw new Error('Unable to describe type ' + typeName);
+  throw new Error('Unable to describe type ' + typeName + '\n\n' + typeFlags(type));
 };

test/package.json

@@ -10,16 +10,16 @@
   "devDependencies": {
     "@types/jest": "^26.0.4",
     "@types/node": "^14.0.18",
-    "@types/react": "^16.9.41",
-    "fast-check": "^1.25.1",
+    "@types/react": "^17.0.3",
+    "fast-check": "^2.14.0",
     "jest": "^26.1.0",
-    "react": "^16.13.1",
+    "react": "^17.0.2",
     "semver": "^7.3.2",
     "ts-jest": "^26.1.1",
-    "ts-node": "^8.10.2",
+    "ts-node": "^9.1.1",
     "tslib": "^2.0.0",
     "ttypescript": "^1.5.10",
-    "typescript": "^3.9.6"
+    "typescript": "^4.2.4"
   },
   "workspaces": [
     "setups/*"

test/scripts/test-with-version.sh

@@ -131,7 +131,7 @@ for MATCHING_SETUP in $MATCHING_SETUPS; do
     yarn workspace "$MATCHING_SETUP" run jest "$TEST_PATTERN"
   else
     # In debug mode node is started with inspect flag
-    yarn workspace "$MATCHING_SETUP" node --inspect-brk $(which jest) "$TEST_PATTERN" --runInBand
+    yarn workspace "$MATCHING_SETUP" node --inspect $(which jest) "$TEST_PATTERN" --runInBand
   fi
 
   printf "\n\n\n"

test/setups/react/tests/react.spec.tsx

@@ -11,7 +11,7 @@ describe('React', () => {
   class TestClassComponent extends React.Component {}
   class TestPureClassComponent extends React.PureComponent {}
 
-  const reactComponentTypeArbitrary: fc.Arbitrary<React.ComponentType> = fc.constantFrom<React.ComponentType>(
+  const reactComponentTypeArbitrary: fc.Arbitrary<React.ComponentType> = fc.constantFrom<React.ComponentType<{}>[]>(
     TestFunctionComponent,
     TestClassComponent,
     TestPureClassComponent,
@@ -119,7 +119,7 @@ describe('React', () => {
     const validArbitrary: fc.Arbitrary<TypeReference1> = reactComponentTypeArbitrary;
     const invalidArbitrary = oneOf(
       primitive(),
-      fc.constantFrom<any>({}, <div />, <TestFunctionComponent />, <TestClassComponent />, <TestPureClassComponent />),
+      fc.constantFrom<any[]>({}, <div />, <TestFunctionComponent />, <TestClassComponent />, <TestPureClassComponent />),
     );
 
     assert(validArbitrary, invalidArbitrary, [

test/setups/typescript--2.7.2/tests/arrays.spec.ts

@@ -19,7 +19,7 @@ describe('arrays', () => {
     type TypeReference1 = string[];
 
     const validArbitrary: fc.Arbitrary<TypeReference1> = fc.array(fc.string());
-    const invalidSpecialCases = fc.constantFrom<any[]>([6], ['string', true]);
+    const invalidSpecialCases = fc.constantFrom<any[][]>([6], ['string', true]);
 
     const invalidArbitrary = fc.oneof(
       invalidSpecialCases,
@@ -34,9 +34,9 @@ describe('arrays', () => {
     type LiteralType = 'a' | 'b';
     type TypeReference1 = LiteralType[];
 
-    const validArbitrary: fc.Arbitrary<TypeReference1> = fc.array(fc.constantFrom<LiteralType>('a', 'b'));
+    const validArbitrary: fc.Arbitrary<TypeReference1> = fc.array(fc.constantFrom<LiteralType[]>('a', 'b'));
     const invalidArbitrary = fc.oneof(
-      fc.constantFrom<any[]>([6], ['string', true]),
+      fc.constantFrom<any[][]>([6], ['string', true]),
       fc.anything().filter(notAnArray),
       fc.array(fc.anything().filter(notOfType('string'))).filter(notAnEmptyArray),
     );

test/setups/typescript--2.7.2/tests/basics.spec.ts

@@ -134,7 +134,7 @@ describe('basics', () => {
     type TypeReference1 = object;
 
     const validArbitrary: fc.Arbitrary<TypeReference1> = fc.oneof(
-      fc.constantFrom<TypeReference1>(
+      fc.constantFrom<TypeReference1[]>(
         {},
         new Object(),
         () => true,
@@ -147,7 +147,7 @@ describe('basics', () => {
       fc.func(fc.anything()),
     );
     const invalidArbitrary = fc.oneof(
-      fc.constantFrom<any>(true, false, undefined, null, 6, 'string', Symbol('a')),
+      fc.constantFrom<any[]>(true, false, undefined, null, 6, 'string', Symbol('a')),
       primitive(),
     );
 
@@ -158,7 +158,7 @@ describe('basics', () => {
     type TypeReference1 = Object; // eslint-disable-line @typescript-eslint/ban-types
 
     const validArbitrary: fc.Arbitrary<TypeReference1> = fc.oneof(
-      fc.constantFrom<TypeReference1>(
+      fc.constantFrom<TypeReference1[]>(
         {},
         new Object(),
         new String(),
@@ -212,7 +212,7 @@ describe('basics', () => {
     type TypeReference1 = 'a' | 'b' | 'c' | 9 | false | true;
     const literalTypeValues: TypeReference1[] = ['a', 'b', 'c', 9, false, true];
 
-    const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>(...literalTypeValues);
+    const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>(...literalTypeValues);
     const invalidArbitrary = fc.anything().filter(notALiteral(...literalTypeValues));
 
     assert(validArbitrary, invalidArbitrary, [typeCheckFor<TypeReference1>(), (value) => isA<TypeReference1>(value)]);

test/setups/typescript--2.7.2/tests/indexed.spec.ts

@@ -33,7 +33,7 @@ describe('string-indexed types', () => {
     );
 
     const invalidArbitrary = oneOf<any>(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { property: 'string' },
         Object.assign(() => true, { property: 'string' }),
       ),
@@ -64,7 +64,7 @@ describe('string-indexed types', () => {
     );
 
     const invalidArbitrary = oneOf(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { property: 'string' },
         Object.assign(() => true, { property: 'string' }),
       ),
@@ -96,7 +96,7 @@ describe('string-indexed types', () => {
     );
 
     const invalidArbitrary = oneOf(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { 6: 'string' },
         Object.assign(() => true, { 7: 'string' }),
       ),
@@ -127,7 +127,7 @@ describe('string-indexed types', () => {
     );
 
     const invalidArbitrary = oneOf(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { 6: 'string' },
         { 6: 'literal', property: () => false },
         Object.assign(() => true, { 7: 'string' }),

test/setups/typescript--2.7.2/tests/interfaces.spec.ts

@@ -22,7 +22,7 @@ describe('interface types', () => {
     type TypeReference1 = {};
 
     const validArbitrary: fc.Arbitrary<TypeReference1> = oneOf<TypeReference1>(
-      fc.constantFrom<TypeReference1>(
+      fc.constantFrom<TypeReference1[]>(
         {},
         [],
         ['string'],
@@ -61,7 +61,7 @@ describe('interface types', () => {
     );
 
     const invalidPropertyArbitrary = fc.anything().filter(notOfType('string'));
-    const invalidSpecialCases = fc.constantFrom<any>({}, { a: false });
+    const invalidSpecialCases = fc.constantFrom<any[]>({}, { a: false });
     const invalidArbitrary = oneOf(
       invalidSpecialCases,
       primitive(),
@@ -79,7 +79,7 @@ describe('interface types', () => {
       toString: () => string;
     }
 
-    const validSpecialCases: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>(
+    const validSpecialCases: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>(
       {},
       new Object(),
       () => true,
@@ -109,7 +109,7 @@ describe('interface types', () => {
       property?: string;
     }
 
-    const validSpecialCases: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>(
+    const validSpecialCases: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>(
       {},
       new Object(),
       { property: undefined },

test/setups/typescript--2.7.2/tests/literals.spec.ts

@@ -10,7 +10,7 @@ describe('literals', () => {
     test('string', () => {
       type TypeReference1 = 'a';
 
-      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>('a');
+      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>('a');
       const invalidArbitrary = fc.anything().filter(notALiteral('a'));
 
       assert(validArbitrary, invalidArbitrary, [typeCheckFor<TypeReference1>(), (value) => isA<TypeReference1>(value)]);
@@ -19,7 +19,7 @@ describe('literals', () => {
     test('number', () => {
       type TypeReference1 = 6;
 
-      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>(6);
+      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>(6);
       const invalidArbitrary = fc.anything().filter(notALiteral(6));
 
       assert(validArbitrary, invalidArbitrary, [typeCheckFor<TypeReference1>(), (value) => isA<TypeReference1>(value)]);
@@ -28,7 +28,7 @@ describe('literals', () => {
     test('true', () => {
       type TypeReference1 = true;
 
-      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>(true, !0, !!1);
+      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>(true, !0, !!1);
       const invalidArbitrary = fc.anything().filter(notALiteral(true));
 
       assert(validArbitrary, invalidArbitrary, [typeCheckFor<TypeReference1>(), (value) => isA<TypeReference1>(value)]);
@@ -37,7 +37,7 @@ describe('literals', () => {
     test('false', () => {
       type TypeReference1 = false;
 
-      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>(false, !!0, !1);
+      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>(false, !!0, !1);
       const invalidArbitrary = fc.anything().filter(notALiteral(false));
 
       assert(validArbitrary, invalidArbitrary, [typeCheckFor<TypeReference1>(), (value) => isA<TypeReference1>(value)]);
@@ -48,7 +48,7 @@ describe('literals', () => {
     test('primitive', () => {
       type TypeReference1 = 'a' | 6 | false;
 
-      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1>('a', 6, false);
+      const validArbitrary: fc.Arbitrary<TypeReference1> = fc.constantFrom<TypeReference1[]>('a', 6, false);
       const invalidArbitrary = fc.anything().filter(notALiteral('a', 6, false));
 
       assert(validArbitrary, invalidArbitrary, [typeCheckFor<TypeReference1>(), (value) => isA<TypeReference1>(value)]);
@@ -58,7 +58,7 @@ describe('literals', () => {
       type TypeReference1 = string[] | { property: string };
 
       const validArbitrary: fc.Arbitrary<TypeReference1> = oneOf(
-        fc.constantFrom<TypeReference1>(
+        fc.constantFrom<TypeReference1[]>(
           [],
           ['string'],
           { property: 'string' },
@@ -70,7 +70,7 @@ describe('literals', () => {
         }),
       );
       const invalidArbitrary = oneOf<any>(
-        fc.constantFrom<any[]>([6], ['string', true]),
+        fc.constantFrom<any[][]>([6], ['string', true]),
         primitive(),
         fc.array(fc.anything().filter(notOfType('string'))).filter(notAnEmptyArray),
         fc.record({

test/setups/typescript--2.7.2/tests/map.spec.ts

@@ -14,7 +14,7 @@ describe('Map', () => {
       fc.array(fc.tuple(numeric(), fc.string())).map((entries) => new Map(entries)),
     );
     const invalidArbitrary = oneOf(
-      fc.constantFrom<any>({}, new Map([['key', 'value']]), new Set(), new Date()),
+      fc.constantFrom<any[]>({}, new Map([['key', 'value']]), new Set(), new Date()),
       primitive(),
     );
 

test/setups/typescript--2.7.2/tests/resolution.spec.ts

@@ -25,7 +25,7 @@ describe('type resolution', () => {
     bProperty = 'Britney Spears';
   }
 
-  const instantiable = fc.constantFrom<new () => any>(Object, Array, Number, Boolean, Function, Date, Error, A, B);
+  const instantiable = fc.constantFrom<(new () => any)[]>(Object, Array, Number, Boolean, Function, Date, Error, A, B);
 
   test('simple reference', () => {
     type TypeReference1 = string;
@@ -99,7 +99,7 @@ describe('type resolution', () => {
 
     const validArbitrary: fc.Arbitrary<TypeReference1> = fc.func(fc.anything() as fc.Arbitrary<any>);
     const invalidArbitrary = oneOf(
-      fc.constantFrom<any>({}, 'string', false),
+      fc.constantFrom<any[]>({}, 'string', false),
       fc.anything().filter(notOfType('function')),
     );
 

test/setups/typescript--2.8.3/tests/conditional.spec.ts

@@ -42,7 +42,7 @@ describe('conditional types', () => {
       string: string;
     };
     type TypeReference1 = ConditionalPropertyNames<Interface>;
-    const validArbitrary: fc.Arbitrary<TypeReference1> = fc.oneof(fc.constantFrom<TypeReference1>('numeric'));
+    const validArbitrary: fc.Arbitrary<TypeReference1> = fc.oneof(fc.constantFrom<TypeReference1[]>('numeric'));
     const invalidArbitrary: fc.Arbitrary<any> = fc.oneof(
       fc.constantFrom('string'),
       fc.anything().filter(notALiteral('numeric')),

test/setups/typescript--2.9.1/tests/indexed.spec.ts

@@ -33,7 +33,7 @@ describe('number-indexed types', () => {
     );
 
     const invalidArbitrary = fc.oneof(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { 1: 'string' },
         Object.assign(() => true, { 3: 'string' }),
       ),
@@ -65,7 +65,7 @@ describe('number-indexed types', () => {
     );
 
     const invalidArbitrary = fc.oneof(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { 6: 'string' },
         Object.assign(() => true, { 7: 'string' }),
       ),
@@ -96,7 +96,7 @@ describe('number-indexed types', () => {
     );
 
     const invalidArbitrary = fc.oneof(
-      fc.constantFrom<any>(
+      fc.constantFrom<any[]>(
         { 6: 'string' },
         { 6: 'literal', property: () => false },
         Object.assign(() => true, { 7: 'string' }),