Assignable

Also written: assignable to

A type is assignable to another if a value of the first could be stored in a variable of the second. Conditional types and error messages use this idea.