Issues working with Generic Constraints

[Dsan10s]

TypeScript Version: 3.6.4

Search Terms:
generic, generics, constraints

Context
Hello Typescript team!

I've been working on updating my team's typescript codebase from v 3.2.1 to v 3.6.4

I'm having some issues updating my codebase to support the breaking changes, and wanted to start a discussion to see if what I'm coming across is by design, and if so, what is the recommended solution for working through it.

Below I'll create a simplified example of the issue we're having, and I've verified that the issue only appears after and including Typescript 3.5. I believe the issue may be related to this

Code

interface StoreParams {
  key1: string;
  key2: number;
  key3: string[];
}

function get<Key extends keyof StoreParams>(key: Key): StoreParams[Key] | null {
  const key1Return: string = 'key1Return';
  const key2Return: number = 2;
  const key3Return: string[] = ['a', 'b', 'c'];

  if (key === 'key1') {
    return key1Return;
  }

  if (key === 'key2') {
    return key2Return;
  }

  if (key === 'key3') {
    return key3Return;
  }

  return null;
}

Expected behavior:
No compiler errors

Actual behavior:
The above code results in an error in each of the key return statements, respectively they are:

Type 'string' is not assignable to type 'StoreParams[Key] | null'.

Type 'number' is not assignable to type 'StoreParams[Key] | null'.

Type 'string[]' is not assignable to type 'StoreParams[Key]'.
  Type 'string[]' is not assignable to type 'never'.

It seems in each of the return statements, the return type is still StoreParams[Key] | null, where Key has not been filtered down after the if statement which normally acts as a type guard for key.

If I replace the generic Key with just keyof StoreParams, the type guards seem to work on key, but I've lost the benefit of the generic in that I'm still just returning StoreParams[keyof StoreParams], meaning in each of the return statements I can return string | number | string[] | null.

Playground Link: Link here

Related Issues:

[jack-williams]

I think this would be cover by the following proposal: #33014.

[RyanCavanaugh]

#33014 is indeed the only way for us to handle this