Overload signature choice failure (regression) #26813

Activity

1. falsandtru commented on Aug 31, 2018

   

   falsandtru (falsandtru)

   on Aug 31, 2018

   ContributorAuthor

   More actions

   Looks like this bug is based on an explicit type inference bug of function arguments and type arguments:

   - Maybe<(a: number) => number>
   + Maybe<(a: (a: number) => number, b: {}, c: {}, d: {}, e: {}) => number>

   (a: number) => number can't appear at the place of function argument type.

   Here is the definition at there:

     public ap<a, z>(this: Maybe<(a: a) => z>, a: Maybe<a>): Maybe<z>
     public ap<a, b, z>(this: Maybe<(a: a, b: b) => z>, a: Maybe<a>): Maybe<(b: b) => z>
     public ap<a, b, c, z>(this: Maybe<(a: a, b: b, c: c) => z>, a: Maybe<a>): Maybe<(b: b, c: c) => z>
     public ap<a, b, c, d, z>(this: Maybe<(a: a, b: b, c: c, d: d) => z>, a: Maybe<a>): Maybe<(b: b, c: c, d: d) => z>
     public ap<a, b, c, d, e, z>(this: Maybe<(a: a, b: b, c: c, d: d, e: e) => z>, a: Maybe<a>): Maybe<(b: b, c: c, d: d, e: e) => z>
2. ahejlsberg commented on Sep 1, 2018

   

   Anders Hejlsberg (ahejlsberg)

   on Sep 1, 2018

   Member

   More actions

   Fixed by #26820, no longer reproduces in master branch.

   👍React with 👍1Reacted by falsandtru
3. Anders Hejlsberg (ahejlsberg)

   added

   FixedA PR has been merged for this issueA PR has been merged for this issue

   on Sep 1, 2018
4. Anders Hejlsberg (ahejlsberg)

   closed this as completedon Sep 1, 2018