Constructor type inference

[mattjohnsonpint]

Feature suggestion

Consider a generic class, such as:

class Foo<T> {
  constructor(public value: T) {}
}

This works:

const foo = new Foo<string>("abc");

But this does not, currently:

const foo = new Foo("abc");

It fails with:

ERROR TS2558: Expected 1 type arguments, but got 0.
   :
 5 │ const foo = new Foo("abc");
   │             ~~~~~~~~~~~~~~
   └─ in assembly/index.ts(5,13)

I would expect type inference to work on constructors, the same as it presently does for functions. Consider that this does work:

function createFoo<T>(value: T): Foo<T> {
  return new Foo(value);
}

const foo = createFoo("abc");

And type inference on static methods works too:

class Foo<T> {
  constructor(public value: T) {}

  static create<T>(value: T): Foo<T> {
    return new Foo(value);
  }
}

const foo = Foo.create("abc");

[JairusSW]

@CountBleck do you have time to take a look at this? It should be simple--I tried, but im not too familiar with the codebase

[CountBleck]

Hm, if type inference exists for generic functions, it should be relatively simple to implement for constructors (famous last words).

[mattjohnsonpint]

I may dig into this myself a bit. 🤞