Viewing profile — gvergnaud

Actually, this won't work with union types! The definition of `Equal` I use is this one: type Equal = ( () => T extends X ? 1 : 2) extends () => T extends Y ? 1 : 2 ? true : false;…

It's actually not in the standard library, but you can write it yourself: type Expect = T; `T extends true` puts a type constraint on the parameter, which then needs to be assignab…

Thanks! Hope you'll enjoy using it