typescript 複数の型(オブジェクト)を返す関数を作りたい

Question

以下のような実装では、別々のプロパティを持ったオブジェクト型の返り値を返す関数を定義したいのですが、ユニオン型だと呼び出しの時点で両方共通するプロパティしかアクセスすることができません。関数実行時に各オブジェクトを特定するような関数を作ることは出来ないでしょうか？

interface TypeA {
    name: 'A'
    num: number
}
interface TypeB {
    name: 'B'
    str: string
}

function selectType(t: 'A' | 'B'): TypeA | TypeB | undefined {
    if(t === 'A') return {name: 'A', num: 1}
    
    if(t === 'B') return {name: 'B', str: "hoge"}

    return undefined
}

console.log(selectType('A').name) // A
console.log(selectType('B').name) // B


/* Property 'num' does not exist on type 'TypeA | TypeB'.
  Property 'num' does not exist on type 'TypeB' */
console.log(selectType('A')?.num) // error  -> 期待値： 1

console.log(selectType('B')?.str) // error  -> 期待値： hoge 

Answer 1

まず引数を'A'か'B'に絞ってるのにAB以外を考慮してundefinedを返すのは、型で制限する意味が無いと思うので、そこは省いての案です。

type Ret<T> = T extends 'A' ? TypeA : TypeB

function selectType<T extends 'A' | 'B'>(t: T): Ret<T> {
    return (t === 'A' ? {name: 'A', num: 1} : {name: 'B', str: "hoge"}) as Ret<T>
}

Answer 2

selectTypeがどのように使われるかわからないので、原型をなるべく保持するとしたら、asを使えば要件は満たせるかもしれません。

console.log((selectType('A') as TypeA)?.num) // 1
console.log((selectType('B') as TypeB)?.str) // hoge