If T extends TBase then this type evaluates to TTrue, otherwise to TFalse or never
T
TBase
TTrue
TFalse
never
If
T
extendsTBase
then this type evaluates toTTrue
, otherwise toTFalse
ornever