Generic with default type incorrectly constraint suggestions in code completion

Bug Report

When I have a function with generic constraints with a default value, IDEs' code completion only suggests the default value, despite accepting all constraint values.

https://user-images.githubusercontent.com/12190482/215557275-265d803c-9e1a-431b-896a-b0b670bbfafd.mov

🔎 Search Terms

Generic with default type

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about Generic with default type

⏯ Playground Link

Playground link with relevant code

💻 Code

type Options = 'a' | 'b' | 'c'

type Result<T extends Options> = T extends 'a' ? true : false;

declare function func<T extends Options = 'a'>(arg?: T): Result<T>

const result = func('') // Code completion only suggests 'a'

🙁 Actual behavior

IDEs' code completion only suggests the default value.

🙂 Expected behavior

IDEs' code completion should suggest all constraint values.

Open the linked TypeScript Playground and reproduce completion for the generic function shown in the issue. Trace the completion behavior for a constrained generic with a default type, then verify that all values from the constraint are suggested while the default remains valid.