conditional-type-checks

conditional-type-checks copied to clipboard

IsExact fails with string enum item and string

1

Hi, I can't make `IsExact` work with enums. ```ts const foo = 'Foo'; enum A { A1 = 'A1', A2 = 'A2', } export const t1 = [foo, ['A1']] as...

MikelArnaiz

Add IsAssignable

9

Similar to IsExact, but less strict.

dsherret

Unclear how to check for deep equality of nested types

4

I have been trying to write an assertion that two types have an identical shape. They both contain a nested type. I can't figure out a way to check that...

elashpear

Add `HasProperty`

2

Would be nice to tell when a type has a property. For example, I have some types that are missing a property in them that they should have so I...

dsherret

Add a function function eq<A, B>(x: IsExact<A, B>) {}

1

```ts // before asserts(true) // after eq(true) ```

Jack-Works

Add constraints to type parameters of `Has`

2

Because typescript doesn't support strict version of Extract for union types. (https://github.com/microsoft/TypeScript/issues/31474) How about add constraints to type parameters of `Has`? current behavior ```ts assert(true); // true. assert(true); // also...

younho9

IsExact does not handle `readonly` modifier

1

`IsExact` returns `true` when the only difference between two interfaces is the `readonly` modifier. ```ts interface A { value: string; } interface B { readonly value: string; } assert(false); //...

Yaojian

I have been researching solutions for TS type testing such as this repo. It seems superior to other solutions since it exposes assertion types and not only assertion methods, keeping...

ShaMan123