GuardToType

type GuardToType<Guard>: Guard extends (p1) => p1 is infer Type ? Type : never;

Type parameters

Type parameter
Guard