Type argument inference doesn't seem to work correctly with generic type aliases

Hi, I found that the following example that uses type argument inference and generic type alias doesn't compile:

Example with generic type alias (does not work)

type Maybe<T> = T | void;

function get<T>(x: Maybe<T>): T {
    return null; // just an example
}

let foo: Maybe<string>;
get(foo).toUpperCase(); // I think T == string in this function call...

Error

test.ts(8,10): error TS2339: Property 'toUpperCase' does not exist on type 'string | void'.

Example with generic interface (works)

interface Maybe<T> {}

function get<T>(x: Maybe<T>): T {
    return null;
}

let foo: Maybe<string>;
get(foo).toUpperCase();

Version

1.8.0-dev.20151027

The problem is not type alaises. the issue here is that foo is of type string|void. here is a simpler example:

function get<T>(x: T | void): T {
    return null; // just an example
}

let foo: string | void;
get(foo).toUpperCase(); // T is still string|void

Thanks! I now see the meaning of the error message.
But isn't this a inconsistent behavior between generic type aliases and generic interfaces/classes?

Actually, I tried this example first to achieve simple non-nullability:

type Maybe<T> = T | void;

function exists<T>(x: Maybe<T>): x is T {
    return x != null;
}

let foo: Maybe<string>;
foo.toUpperCase(); // error
if (exists(foo)) {
  foo.toUpperCase(); // OK
}

clever :) a word of caution, trying to wrestle in non-nullable types in the system might be a tedious and brittle thing to do. For future references implementing non-nullable types is tracked by #185.

Now fixed by #5738.

Navigation Menu

Repository navigation

Type argument inference doesn't seem to work correctly with generic type aliases #5417

Example with generic type alias (does not work)

Error

Example with generic interface (works)

Version

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Type argument inference doesn't seem to work correctly with generic type aliases #5417

Description

Example with generic type alias (does not work)

Error

Example with generic interface (works)

Version

Activity

mhegazy commented on Nov 13, 2015

seanchas116 commented on Nov 13, 2015

seanchas116 commented on Nov 13, 2015

mhegazy commented on Nov 13, 2015

ahejlsberg commented on Nov 24, 2015

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions