Discriminated union narrowing fails when use template literal types as tag

TypeScript Version: 4.2.0-dev.20201211

Search Terms: narrowing, discriminated union, template literal types

Code

type Types<T extends string> = {
  one: `${T}/one`;
  two: `${T}/two`;
}
type OneObj<T extends string> = {
  type: Types<T>["one"];
  one: string;
}
type TwoObj<T extends string> = {
  type: Types<T>["two"];
  two: string;
}
type OneOrTwoObj<T extends string> = OneObj<T> | TwoObj<T>

declare function acceptsOneObj<T extends string>(oneObj: OneObj<T>): void;
declare function acceptsTwoObj<T extends string>(twoObj: TwoObj<T>): void;

function f<T extends string>(oneOrTwoObj: OneOrTwoObj<T>, types: Types<T>){
  switch(oneOrTwoObj.type){
    case types.one:
     return acceptsOneObj(oneOrTwoObj); // Error: Argument of type 'OneOrTwoObj<T>' is not assignable to parameter of type 'OneObj<T>'.
    case types.two:
     return acceptsTwoObj(oneOrTwoObj); // Error: Argument of type 'OneOrTwoObj<T>' is not assignable to parameter of type 'OneObj<T>'.
  }
}

Expected behavior:
oneOrTwoObj should be narrowed to OneObj or TwoObj in function f

Actual behavior:
narrowing fails

Playground Link:
playground

Related Issues:

Bắt đầu với bản tái hiện TypeScript Playground được liên kết và hàm generic f, tập trung vào cách switch trên oneOrTwoObj.type xử lý các kiểu template literal. Xác nhận hành vi hiện tại, sau đó lần theo đường đi của việc kiểm tra kiểu đối với quá trình narrowing của discriminated union. Hoàn tất khi mỗi nhánh switch thu hẹp oneOrTwoObj thành OneObj hoặc TwoObj tương ứng, để các lệnh gọi acceptsOneObj và acceptsTwoObj vượt qua kiểm tra kiểu.