Function isExtendable

The check of extends in Typescript. This function can be read as left extends right.

See https://www.typescriptlang.org/docs/handbook/type-compatibility.html#any-unknown-object-void-undefined-null-and-never-assignability This algo follows strict mode.