GeezerVison

As discussed with Yui (@yuit), the reason I narrow to T extends Derived instead of Derived is that I wanted to enable to returning the narrowed type. But this still doesn't work. Observe f and f2:

function f<T extends Base>(x: T) {
  return isDerived(x) && x; // f's return type appears to be `T extends Base`
}
function f2<T extends Base>(x: T): T {
  return isDerived(x) && x;
  // error: 'T' is not assignable 'T'; 'Derived' is not assignable to 'T'
}

This should work by analogy with the non-generic version:

function g(x: Base) { 
  return isDerived(x) && x; // g's return type is Derived
}

It seems like if one of your return type candidates is a type parameter, you don't want to return the narrowed type there. You just want to return the type parameter itself. I can't specifically think of other types that might have this characteristic.

This is already covered by #8010, closing.