Argument of any no longer matches <T>(x: T) => T in overload set

Based on code from knockout on DT:

interface Punch {
    <T>(value: T): T;
    <T = any>(value: null): T | null
}
function x(p: Punch) {
  var wat = p<number>(5 as any)
  var wit = p<number>('hi')
  var wot = p<number>(5)
}

Expected behavior:

wat: number, wit: number, wot: number

Actual behavior:

wat: number | null, wit: number | null, wot: number

Looks like it only repros when the second overload's parameter type is null; I tried never and { random, object, properties } and the first overload gets chosen.

Works on nightly from 06/15; fails on nightly from 06/20; we failed to publish 16,17,18,19.

Bisecting shows the cause to be #35282. Doesn't really make sense though.

Turns out 905 lines changed in the checker, so it's probably a minor transliteration error.

Doesn't appear to be any user-encountered impact from this

Navigation Menu

Repository navigation

Argument of any no longer matches `<T>(x: T) => T` in overload set #39208

3 remaining items

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Argument of any no longer matches <T>(x: T) => T in overload set #39208

Description

Activity

sandersn commented on Jun 23, 2020

sandersn commented on Jun 23, 2020

sandersn commented on Jun 23, 2020

sandersn commented on Jun 23, 2020

3 remaining items

RyanCavanaugh commented on Feb 4, 2022

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Argument of any no longer matches `<T>(x: T) => T` in overload set #39208