disallow .not and .branded together

mmkal · Oct 3, 2023 · cf38918 · cf38918
1 parent cdeac9c
commit cf38918
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/src/index.ts b/src/index.ts
@@ -286,12 +286,6 @@ export interface NegativeExpectTypeOf<Actual> extends BaseExpectTypeOf<Actual, {
     key: K,
     ...MISMATCH: MismatchArgs<Extends<K, keyof Actual>, false>
   ) => true
-
-  branded: {
-    toEqualTypeOf: <Expected>(
-      ...MISMATCH: MismatchArgs<StrictEqualUsingTSInternalIdenticalToOperator<Actual, Expected>, false>
-    ) => true
-  }
 }
 
 export type ExpectTypeOf<Actual, Options extends {positive: boolean}> = Options['positive'] extends true

diff --git a/test/types.test.ts b/test/types.test.ts
@@ -276,6 +276,12 @@ test('Distinguish between functions whose return types differ by readonly prop',
   expectTypeOf<typeof original>().toEqualTypeOf<typeof different>()
   // @ts-expect-error
   expectTypeOf(original).toEqualTypeOf(different)
+
+  // not and branded can't be combined
+  // @ts-expect-error
+  expectTypeOf<{}>().not.branded
+  // @ts-expect-error
+  expectTypeOf<{}>().branded.not
 })
 
 test('Distinguish between classes with only private properties', () => {