Type narrowing discards template type on this-typed return value

Bug Report

🔎 Search Terms

type narrowing template constraint

🕗 Version & Regression Information

Bug occurs in every version on the playground

⏯ Playground Link

Playground link with relevant code

💻 Code

abstract class Foo {
  abstract clone(): this;
}

function cloneMe<T extends Foo|Date>(x: T): T {
  if (x instanceof Foo) return x.clone();
  // These casts are necessary because of https://github.com/microsoft/TypeScript/issues/38309.
  return new Date(x as Date) as T;
}

🙁 Actual behavior

Type 'Foo & Foo' is not assignable to type 'T'. 'Foo & Foo' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Foo | Date'.

🙂 Expected behavior

No errors; just like the instanceof check narrows x to Foo & T, the this return type of x.clone() should also be Foo & T rather than degrading to Foo & Foo.

Bắt đầu với ví dụ TypeScript Playground được liên kết và kiểm tra việc thu hẹp kiểu cùng hành vi trả về this đa hình liên quan đến cloneMe. Issue được hoàn thành khi giá trị trả về của x.clone() được giữ nguyên dưới dạng Foo & T và ví dụ kiểm tra kiểu thành công mà không cần cast hoặc không có lỗi.