Tests not passing for current typescript version

[mocanew]

🐞 Bug Report

Describe the bug

Starting from typescript@4.3.5, not all tests pass. I noticed a problem with F.Narrow and ran the test suite to confirm.

Reproduce the bug

npm test

Additional context

4.1.6: all pass

4.2.4: all pass

4.3.5:

tests/Any.ts:151:5 - error TS2322: Type '0' is not assignable to type '1'.
151     check<A.KnownKeys<T>, Exclude<A.Keys<T>, number>, Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
tests/Any.ts:155:5 - error TS2322: Type '0' is not assignable to type '1'.
155     check<A.KnownKeys<{[k: string]: any} & {a: any}>, 'a', Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

4.4.4:

tests/Any.ts:151:5 - error TS2322: Type '0' is not assignable to type '1'.
151     check<A.KnownKeys<T>, Exclude<A.Keys<T>, number>, Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Any.ts:155:5 - error TS2322: Type '0' is not assignable to type '1'.
155     check<A.KnownKeys<{[k: string]: any} & {a: any}>, 'a', Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Function.ts:172:5 - error TS2322: Type '0' is not assignable to type '1'.
172     check<typeof test05, ['e', 2, true, {f: ['g', ['h']]}], Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Object.ts:524:5 - error TS2322: Type '0' is not assignable to type '1'.
524     check<O.ListOf<O_LISTOF_SYMBOL>, LISTOF_SYMBOL_O, Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

4.5.4 & 4.6.0-dev.20211218:

tests/Any.ts:151:5 - error TS2322: Type '0' is not assignable to type '1'.
151     check<A.KnownKeys<T>, Exclude<A.Keys<T>, number>, Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Any.ts:155:5 - error TS2322: Type '0' is not assignable to type '1'.
155     check<A.KnownKeys<{[k: string]: any} & {a: any}>, 'a', Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Function.ts:172:5 - error TS2322: Type '0' is not assignable to type '1'.
172     check<typeof test05, ['e', 2, true, {f: ['g', ['h']]}], Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Object.ts:48:5 - error TS2322: Type '0' is not assignable to type '1'.
48     check<O.Assign<O_ASSIGN, Os_ASSIGN>, ASSIGN_O_Os, Test.Pass>(),
       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

tests/Object.ts:524:5 - error TS2322: Type '0' is not assignable to type '1'.
524     check<O.ListOf<O_LISTOF_SYMBOL>, LISTOF_SYMBOL_O, Test.Pass>(),
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~