Function assertType

Returns asserts t is (never extends K ? TypeNever : never) | (any extends K ? TypeAny : never) | (unknown extends K ? TypeUnknown : never) | (void extends K ? TypeVoid : never) | (object extends K ? TypeObject : never) | (string extends K ? TypeString : never) | (number extends K ? TypeNumber : never) | (boolean extends K ? TypeBoolean : never) | (bigint extends K ? TypeBigInt : never) | (symbol extends K ? TypeSymbol : never) | (null extends K ? TypeNull : never) | (undefined extends K ? TypeUndefined : never) | (literal extends K ? TypeLiteral : never) | (templateLiteral extends K ? TypeTemplateLiteral : never) | (parameter extends K ? TypeParameter : never) | (function extends K ? TypeFunction : never) | (method extends K ? TypeMethod : never) | (property extends K ? TypeProperty : never) | (promise extends K ? TypePromise : never) | (class extends K ? TypeClass : never) | (enum extends K ? TypeEnum : never) | (enumMember extends K ? TypeEnumMember : never) | (union extends K ? TypeUnion : never) | (intersection extends K ? TypeIntersection : never) | (array extends K ? TypeArray : never) | (objectLiteral extends K ? TypeObjectLiteral : never) | (indexSignature extends K ? TypeIndexSignature : never) | (propertySignature extends K ? TypePropertySignature : never) | (methodSignature extends K ? TypeMethodSignature : never) | (typeParameter extends K ? TypeTypeParameter : never) | (infer extends K ? TypeInfer : never) | (tuple extends K ? TypeTuple : never) | (tupleMember extends K ? TypeTupleMember : never) | (rest extends K ? TypeRest : never) | (regexp extends K ? TypeRegexp : never)