Generics in functions

[paztis]

I used to use generics in Java to define constraints between the different arguments of a function.
In TypeScript, they are a little more limited.
For example:

function test(a: T, b: T): void {
}
test(1, 2); //It works with T as number
test("a", 2); //It works with T as {}
test("a", 2); //Error "a" is not a number

I wish I did not have to specify the "number" type as we can do in Java.
For me test("a", 2) should cause an error. Compiler inference should not find {} as common type.

[danquirk]

Good news, we agree and the latest bits do make this an error. See #868

[paztis]

Great.
When is this version be available?

[danquirk]

You can use the latest bits in master right now. For a Visual Studio release this will be in 1.4, unfortunately we can't share a date right now but you can track the progress here:

https://github.com/Microsoft/TypeScript/milestones

See also http://blogs.msdn.com/b/typescript/archive/2014/10/22/typescript-and-the-road-to-2-0.aspx