Type inference inconsistency with generic constraints

Bug Report

🔎 Search Terms

• type inference const string
• type inference generic constraints

🕗 Version & Regression Information

Tested on

• 3.9.7
• 4.2.3
• 4.3.0-beta

⏯ Playground Link

Playground link

💻 Code

Following Generic Constraints

type Concatable<T> = {
	concat: (...xss: T[]) => T
};

export const concat = <T extends Concatable<T>>
	(xs: T, ...xss: T[] ): T => xs.concat( ...xss );

export const test_1 = concat([1, 2], [3, 4]);         // OK
export const test_2 = concat("foo" as string, "bar"); // OK
export const test_3 = concat<string>("foo", "bar");   // OK

// Expected: 'test_4: string'
// Got:      'test_4: Concatable<"foo" | "bar">'
export const test_4 = concat("foo", "bar");
// Error:                    ^^^^^
// Argument of type 'string' is not assignable to
// parameter of type 'Concatable<"foo" | "bar">'

🙁 Actual behavior

test_4: Concatable<"foo" | "bar">

TS leaks the constraint for type T into type T
TS provides no good way to make Rust-like trait

🙂 Expected behavior

T, test_4, "foo" and "bar" all infer type string

Reproduce el ejemplo de restricción genérica en el TypeScript Playground enlazado en las versiones indicadas e inspecciona el tipo inferido de test_4. La corrección estará completa cuando concat("foo", "bar") infiera string sin un error, coincidiendo con el comportamiento esperado y preservando los demás ejemplos.