Type alias CanAssign<A, B, Then, Else>

Can A assign to B

Note that when union is involved, the assignability is measured distributively. Meaning the result can be Then | Else (i.e. boolean by default), instead of distinctive Then (true) or Else (false).

This is the correct behavior.

Deprecated

use Assignable<A, B> instead

Example

CanAssign<number | string, number> // boolean
Copy

We are checking can A assign to B. Since A is number | string, A can assign to B when A is number(true), andAcannot assign toBwhenA is string (false). So the result is true | false = boolean.

If you want to make sure all branches are assignable, use StrictCanAssign<A, B>.