Merge pull request #30 from pihart/require-subtype

Add type RequireSubType
pihart · Mar 24, 2021 · e9204af · e9204af
2 parents 9419a4e + 7d3b295
commit e9204af
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/lib/subtype.ts b/src/lib/subtype.ts
@@ -5,8 +5,16 @@ import { TestedType } from "./misc";
  * otherwise type `false`.
  */
 export type IsSubType<A, B> = A extends B ? true : false;
+
 /**
  * Type {@typeparam A} if {@typeparam A} is a subtype of {@typeparam B};
  * otherwise type `never`.
  */
 export type SubType<A, B> = TestedType<A, IsSubType<A, B>>;
+
+/**
+ * A stricter version of [[`IsSubType`]].
+ * Type `true` if {@typeparam A} is a subtype of {@typeparam B};
+ * compile-time error otherwise.
+ */
+export type RequireSubType<A extends B, B> = IsSubType<A, B>