TypeScript Perform partial inference with partially filled type parameter lists

This implements what we wanted to look into a yesterday's design meeting - for expression inference sites, any number of type parameters can be provided, the rest will be inferred from the argument expressions. Likewise, you may now omit type arguments from the middle of a type argument list and have those omitted positions inferred, too.

This is just another flavor of #26349, so this will close #26349 if merged.

Apr 27 '23 23:04 weswigham

@typescript-bot test this @typescript-bot run dt @typescript-bot test top100 @typescript-bot perf test this @typescript-bot pack this

Apr 28 '23 03:04 weswigham

Heya @weswigham, I've started to run the extended test suite on this PR at da7b04718bf67c66bacdf2276deb9fe6395ae743. You can monitor the build here.

Apr 28 '23 03:04 typescript-bot

Heya @weswigham, I've started to run the parallelized Definitely Typed test suite on this PR at da7b04718bf67c66bacdf2276deb9fe6395ae743. You can monitor the build here.

Update: The results are in!

Apr 28 '23 03:04 typescript-bot

Heya @weswigham, I've started to run the tarball bundle task on this PR at da7b04718bf67c66bacdf2276deb9fe6395ae743. You can monitor the build here.

Apr 28 '23 03:04 typescript-bot

Heya @weswigham, I've started to run the diff-based top-repos suite on this PR at da7b04718bf67c66bacdf2276deb9fe6395ae743. You can monitor the build here.

Update: The results are in!

Apr 28 '23 03:04 typescript-bot

Heya @weswigham, I've started to run the perf test suite on this PR at da7b04718bf67c66bacdf2276deb9fe6395ae743. You can monitor the build here.

Update: The results are in!

Apr 28 '23 03:04 typescript-bot

(Given how some of the tests colorize in the editor, I think this change will need a tmLanguage update, but we should maybe do that regardless of whether we take this or not for better error recovery when people are deleting/writing type argument lists)

Apr 28 '23 03:04 weswigham

Hey @weswigham, I've packed this into an installable tgz. You can install it for testing by referencing it in your package.json like so:

{
    "devDependencies": {
        "typescript": "https://typescript.visualstudio.com/cf7ac146-d525-443c-b23c-0d58337efebc/_apis/build/builds/153473/artifacts?artifactName=tgz&fileId=C70022D27B778AE17FD10B906383AFE869310E999BB2B75D38A045FDF449942F02&fileName=/typescript-5.1.0-insiders.20230428.tgz"
    }
}

and then running npm install.

There is also a playground for this build and an npm module you can use via "typescript": "npm:@typescript-deploys/[email protected]".;

Apr 28 '23 03:04 typescript-bot

Heya @weswigham, I've run the RWC suite on this PR - assuming you're on the TS core team, you can view the resulting diff here.

Apr 28 '23 03:04 typescript-bot

@weswigham The results of the perf run you requested are in!

Here they are:

Compiler

Comparison Report - main..54047

_Metric	_main	₅₄₀₄₇	_Delta	_Best	_Worst	_p-value
_{Angular - node (v18.10.0, x64)}
_{Memory used}	_{365,883k (± 0.01%)}	_{365,927k (± 0.01%)}	_{+44k (+ 0.01%)}	_365,906k	_366,009k	_{p=0.045 n=6}
_{Parse Time}	_{3.40s (± 0.87%)}	_{3.40s (± 1.06%)}	_~	_3.35s	_3.45s	_{p=0.872 n=6}
_{Bind Time}	_{1.11s (± 0.89%)}	_{1.11s (± 0.68%)}	_~	_1.10s	_1.12s	_{p=0.554 n=6}
_{Check Time}	_{8.74s (± 0.37%)}	_{8.80s (± 0.41%)}	_{+0.06s (+ 0.65%)}	_8.74s	_8.85s	_{p=0.020 n=6}
_{Emit Time}	_{7.44s (± 1.18%)}	_{7.47s (± 0.71%)}	_~	_7.41s	_7.54s	_{p=0.378 n=6}
_{Total Time}	_{20.69s (± 0.60%)}	_{20.78s (± 0.45%)}	_~	_20.67s	_20.94s	_{p=0.199 n=6}
_{Compiler-Unions - node (v18.10.0, x64)}
_{Memory used}	_{193,284k (± 1.44%)}	_{191,949k (± 1.25%)}	_~	_190,946k	_196,832k	_{p=0.298 n=6}
_{Parse Time}	_{1.49s (± 1.61%)}	_{1.48s (± 1.38%)}	_~	_1.44s	_1.50s	_{p=0.153 n=6}
_{Bind Time}	_{0.77s (± 0.67%)}	_{0.77s (± 1.27%)}	_~	_0.76s	_0.79s	_{p=0.386 n=6}
_{Check Time}	_{9.54s (± 0.72%)}	_{9.68s (± 0.51%)}	_{+0.15s (+ 1.54%)}	_9.63s	_9.76s	_{p=0.010 n=6}
_{Emit Time}	_{2.76s (± 0.50%)}	_{2.76s (± 0.98%)}	_~	_2.73s	_2.81s	_{p=0.871 n=6}
_{Total Time}	_{14.55s (± 0.64%)}	_{14.70s (± 0.44%)}	_{+0.15s (+ 1.00%)}	_14.64s	_14.82s	_{p=0.024 n=6}
_{Monaco - node (v18.10.0, x64)}
_{Memory used}	_{346,500k (± 0.01%)}	_{346,575k (± 0.01%)}	_{+75k (+ 0.02%)}	_346,516k	_346,632k	_{p=0.020 n=6}
_{Parse Time}	_{2.56s (± 1.06%)}	_{2.58s (± 0.81%)}	_~	_2.54s	_2.60s	_{p=0.287 n=6}
_{Bind Time}	_{1.00s (± 0.54%)}	_{1.00s (± 1.17%)}	_~	_0.99s	_1.02s	_{p=0.152 n=6}
_{Check Time}	_{7.16s (± 0.22%)}	_{7.16s (± 0.43%)}	_~	_7.12s	_7.19s	_{p=0.745 n=6}
_{Emit Time}	_{4.23s (± 1.24%)}	_{4.22s (± 0.53%)}	_~	_4.18s	_4.24s	_{p=0.809 n=6}
_{Total Time}	_{14.96s (± 0.45%)}	_{14.96s (± 0.30%)}	_~	_14.91s	_15.01s	_{p=0.686 n=6}
_{TFS - node (v18.10.0, x64)}
_{Memory used}	_{300,715k (± 0.01%)}	_{300,774k (± 0.01%)}	_{+59k (+ 0.02%)}	_300,754k	_300,799k	_{p=0.005 n=6}
_{Parse Time}	_{2.06s (± 0.99%)}	_{2.05s (± 1.17%)}	_~	_2.01s	_2.07s	_{p=0.743 n=6}
_{Bind Time}	_{1.14s (± 1.20%)}	_{1.14s (± 0.96%)}	_~	_1.13s	_1.16s	_{p=0.933 n=6}
_{Check Time}	_{6.58s (± 0.45%)}	_{6.61s (± 0.51%)}	_~	_6.57s	_6.66s	_{p=0.259 n=6}
_{Emit Time}	_{3.89s (± 0.57%)}	_{3.89s (± 0.76%)}	_~	_3.84s	_3.92s	_{p=0.744 n=6}
_{Total Time}	_{13.66s (± 0.30%)}	_{13.69s (± 0.48%)}	_~	_13.62s	_13.78s	_{p=0.571 n=6}
_{material-ui - node (v18.10.0, x64)}
_{Memory used}	_{482,370k (± 0.01%)}	_{482,547k (± 0.01%)}	_{+177k (+ 0.04%)}	_482,515k	_482,638k	_{p=0.005 n=6}
_{Parse Time}	_{3.08s (± 0.46%)}	_{3.08s (± 0.54%)}	_~	_3.06s	_3.10s	_{p=1.000 n=6}
_{Bind Time}	_{0.91s (± 0.45%)}	_{0.91s (± 0.56%)}	_~	_0.91s	_0.92s	_{p=0.114 n=6}
_{Check Time}	_{16.88s (± 0.65%)}	_{16.97s (± 0.67%)}	_~	_16.84s	_17.11s	_{p=0.173 n=6}
_{Emit Time}	_{0.00s (± 0.00%)}	_{0.00s (± 0.00%)}	_~	_0.00s	_0.00s	_{p=1.000 n=6}
_{Total Time}	_{20.86s (± 0.52%)}	_{20.96s (± 0.54%)}	_~	_20.82s	_21.09s	_{p=0.199 n=6}
_{xstate - node (v18.10.0, x64)}
_{Memory used}	_{563,213k (± 0.03%)}	_{570,939k (± 0.02%)}	_{+7,727k (+ 1.37%)}	_570,803k	_571,118k	_{p=0.005 n=6}
_{Parse Time}	_{3.81s (± 0.37%)}	_{3.79s (± 0.43%)}	_~	_3.76s	_3.80s	_{p=0.081 n=6}
_{Bind Time}	_{1.62s (± 0.25%)}	_{1.62s (± 0.93%)}	_~	_1.60s	_1.64s	_{p=0.315 n=6}
_{Check Time}	_{2.81s (± 0.54%)}	_{3.10s (± 0.76%)}	_{+0.29s (+10.45%)}	_3.07s	_3.13s	_{p=0.005 n=6}
_{Emit Time}	_{0.08s (± 0.00%)}	_{0.08s (± 0.00%)}	_~	_0.08s	_0.08s	_{p=1.000 n=6}
_{Total Time}	_{8.32s (± 0.16%)}	_{8.59s (± 0.24%)}	_{+0.28s (+ 3.31%)}	_8.56s	_8.62s	_{p=0.004 n=6}
_{Angular - node (v16.17.1, x64)}
_{Memory used}	_{365,304k (± 0.01%)}	_{365,309k (± 0.01%)}	_~	_365,278k	_365,380k	_{p=0.809 n=6}
_{Parse Time}	_{3.53s (± 0.30%)}	_{3.53s (± 0.42%)}	_~	_3.51s	_3.55s	_{p=0.413 n=6}
_{Bind Time}	_{1.17s (± 0.71%)}	_{1.17s (± 0.35%)}	_~	_1.17s	_1.18s	_{p=0.527 n=6}
_{Check Time}	_{9.52s (± 0.32%)}	_{9.54s (± 0.31%)}	_~	_9.50s	_9.57s	_{p=0.193 n=6}
_{Emit Time}	_{7.86s (± 0.65%)}	_{7.88s (± 0.52%)}	_~	_7.83s	_7.93s	_{p=0.572 n=6}
_{Total Time}	_{22.09s (± 0.28%)}	_{22.13s (± 0.30%)}	_~	_22.04s	_22.20s	_{p=0.470 n=6}
_{Compiler-Unions - node (v16.17.1, x64)}
_{Memory used}	_{192,725k (± 0.02%)}	_{192,748k (± 0.02%)}	_~	_192,700k	_192,796k	_{p=0.230 n=6}
_{Parse Time}	_{1.59s (± 0.92%)}	_{1.58s (± 0.93%)}	_~	_1.56s	_1.60s	_{p=0.289 n=6}
_{Bind Time}	_{0.82s (± 0.50%)}	_{0.82s (± 1.20%)}	_~	_0.81s	_0.83s	_{p=0.930 n=6}
_{Check Time}	_{10.22s (± 0.60%)}	_{10.28s (± 0.26%)}	_~	_10.25s	_10.33s	_{p=0.195 n=6}
_{Emit Time}	_{3.02s (± 0.87%)}	_{3.01s (± 0.89%)}	_~	_2.99s	_3.06s	_{p=0.416 n=6}
_{Total Time}	_{15.66s (± 0.43%)}	_{15.69s (± 0.14%)}	_~	_15.67s	_15.73s	_{p=0.335 n=6}
_{Monaco - node (v16.17.1, x64)}
_{Memory used}	_{345,779k (± 0.01%)}	_{345,864k (± 0.01%)}	_{+85k (+ 0.02%)}	_345,838k	_345,887k	_{p=0.005 n=6}
_{Parse Time}	_{2.72s (± 0.28%)}	_{2.71s (± 0.28%)}	_~	_2.70s	_2.72s	_{p=0.195 n=6}
_{Bind Time}	_{1.08s (± 0.77%)}	_{1.08s (± 0.70%)}	_~	_1.07s	_1.09s	_{p=0.652 n=6}
_{Check Time}	_{7.83s (± 0.25%)}	_{7.87s (± 0.35%)}	_{+0.04s (+ 0.57%)}	_7.84s	_7.92s	_{p=0.012 n=6}
_{Emit Time}	_{4.45s (± 1.22%)}	_{4.47s (± 0.77%)}	_~	_4.42s	_4.51s	_{p=0.227 n=6}
_{Total Time}	_{16.08s (± 0.43%)}	_{16.14s (± 0.29%)}	_~	_16.08s	_16.22s	_{p=0.078 n=6}
_{TFS - node (v16.17.1, x64)}
_{Memory used}	_{300,076k (± 0.01%)}	_{300,101k (± 0.01%)}	_~	_300,086k	_300,129k	_{p=0.078 n=6}
_{Parse Time}	_{2.14s (± 0.82%)}	_{2.15s (± 0.24%)}	_~	_2.14s	_2.15s	_{p=0.667 n=6}
_{Bind Time}	_{1.23s (± 0.89%)}	_{1.23s (± 1.26%)}	_~	_1.22s	_1.26s	_{p=0.863 n=6}
_{Check Time}	_{7.22s (± 0.37%)}	_{7.26s (± 0.61%)}	_~	_7.20s	_7.32s	_{p=0.126 n=6}
_{Emit Time}	_{4.38s (± 0.81%)}	_{4.36s (± 0.91%)}	_~	_4.31s	_4.40s	_{p=0.422 n=6}
_{Total Time}	_{14.97s (± 0.49%)}	_{15.00s (± 0.45%)}	_~	_14.89s	_15.06s	_{p=0.571 n=6}
_{material-ui - node (v16.17.1, x64)}
_{Memory used}	_{481,621k (± 0.00%)}	_{481,790k (± 0.01%)}	_{+169k (+ 0.04%)}	_481,723k	_481,829k	_{p=0.005 n=6}
_{Parse Time}	_{3.23s (± 0.37%)}	_{3.24s (± 0.46%)}	_~	_3.22s	_3.26s	_{p=0.805 n=6}
_{Bind Time}	_{0.93s (± 0.59%)}	_{0.93s (± 0.44%)}	_~	_0.93s	_0.94s	_{p=0.282 n=6}
_{Check Time}	_{17.88s (± 0.98%)}	_{17.85s (± 0.43%)}	_~	_17.77s	_17.99s	_{p=0.810 n=6}
_{Emit Time}	_{0.00s (± 0.00%)}	_{0.00s (± 0.00%)}	_~	_0.00s	_0.00s	_{p=1.000 n=6}
_{Total Time}	_{22.05s (± 0.79%)}	_{22.02s (± 0.36%)}	_~	_21.95s	_22.16s	_{p=0.872 n=6}
_{xstate - node (v16.17.1, x64)}
_{Memory used}	_{560,685k (± 0.02%)}	_{568,470k (± 0.02%)}	_{+7,785k (+ 1.39%)}	_568,335k	_568,536k	_{p=0.005 n=6}
_{Parse Time}	_{3.98s (± 0.26%)}	_{3.96s (± 0.34%)}	_~	_3.95s	_3.98s	_{p=0.167 n=6}
_{Bind Time}	_{1.75s (± 0.23%)}	_{1.76s (± 0.46%)}	_~	_1.75s	_1.77s	_{p=0.248 n=6}
_{Check Time}	_{3.04s (± 0.71%)}	_{3.32s (± 0.71%)}	_{+0.28s (+ 9.09%)}	_3.29s	_3.35s	_{p=0.005 n=6}
_{Emit Time}	_{0.09s (± 0.00%)}	_{0.08s (± 4.99%)}	_{🟩-0.01s (- 9.26%)}	_0.08s	_0.09s	_{p=0.007 n=6}
_{Total Time}	_{8.86s (± 0.20%)}	_{9.14s (± 0.34%)}	_{+0.28s (+ 3.14%)}	_9.10s	_9.17s	_{p=0.005 n=6}
_{Angular - node (v14.21.3, x64)}
_{Memory used}	_{359,306k (± 0.00%)}	_{359,362k (± 0.01%)}	_{+55k (+ 0.02%)}	_359,337k	_359,384k	_{p=0.005 n=6}
_{Parse Time}	_{3.65s (± 0.37%)}	_{3.64s (± 0.33%)}	_~	_3.63s	_3.66s	_{p=0.215 n=6}
_{Bind Time}	_{1.22s (± 0.62%)}	_{1.21s (± 0.34%)}	_{-0.01s (- 0.82%)}	_1.21s	_1.22s	_{p=0.029 n=6}
_{Check Time}	_{9.97s (± 0.40%)}	_{9.99s (± 0.27%)}	_~	_9.96s	_10.04s	_{p=0.462 n=6}
_{Emit Time}	_{8.25s (± 0.86%)}	_{8.25s (± 0.85%)}	_~	_8.16s	_8.34s	_{p=0.936 n=6}
_{Total Time}	_{23.11s (± 0.53%)}	_{23.10s (± 0.44%)}	_~	_23.00s	_23.26s	_{p=0.872 n=6}
_{Compiler-Unions - node (v14.21.3, x64)}
_{Memory used}	_{188,083k (± 0.01%)}	_{188,160k (± 0.01%)}	_{+78k (+ 0.04%)}	_188,132k	_188,177k	_{p=0.005 n=6}
_{Parse Time}	_{1.59s (± 0.32%)}	_{1.60s (± 0.61%)}	_~	_1.59s	_1.61s	_{p=0.140 n=6}
_{Bind Time}	_{0.84s (± 0.48%)}	_{0.84s (± 0.65%)}	_~	_0.84s	_0.85s	_{p=0.282 n=6}
_{Check Time}	_{10.30s (± 0.20%)}	_{10.39s (± 0.53%)}	_{+0.09s (+ 0.91%)}	_10.31s	_10.47s	_{p=0.010 n=6}
_{Emit Time}	_{3.16s (± 0.68%)}	_{3.17s (± 1.61%)}	_~	_3.14s	_3.27s	_{p=0.870 n=6}
_{Total Time}	_{15.90s (± 0.20%)}	_{16.01s (± 0.47%)}	_{+0.11s (+ 0.70%)}	_15.88s	_16.09s	_{p=0.029 n=6}
_{Monaco - node (v14.21.3, x64)}
_{Memory used}	_{340,878k (± 0.01%)}	_{340,949k (± 0.01%)}	_{+71k (+ 0.02%)}	_340,926k	_340,973k	_{p=0.005 n=6}
_{Parse Time}	_{2.79s (± 0.42%)}	_{2.79s (± 0.19%)}	_~	_2.78s	_2.79s	_{p=0.929 n=6}
_{Bind Time}	_{1.10s (± 0.37%)}	_{1.11s (± 0.74%)}	_~	_1.10s	_1.12s	_{p=0.248 n=6}
_{Check Time}	_{8.13s (± 0.69%)}	_{8.18s (± 0.55%)}	_~	_8.14s	_8.26s	_{p=0.169 n=6}
_{Emit Time}	_{4.69s (± 1.54%)}	_{4.69s (± 0.65%)}	_~	_4.63s	_4.72s	_{p=0.809 n=6}
_{Total Time}	_{16.71s (± 0.59%)}	_{16.77s (± 0.23%)}	_~	_16.73s	_16.84s	_{p=0.229 n=6}
_{TFS - node (v14.21.3, x64)}
_{Memory used}	_{295,250k (± 0.00%)}	_{295,286k (± 0.00%)}	_{+36k (+ 0.01%)}	_295,269k	_295,300k	_{p=0.005 n=6}
_{Parse Time}	_{2.39s (± 0.51%)}	_{2.38s (± 0.72%)}	_~	_2.36s	_2.41s	_{p=0.566 n=6}
_{Bind Time}	_{1.06s (± 0.49%)}	_{1.06s (± 0.00%)}	_~	_1.06s	_1.06s	_{p=0.174 n=6}
_{Check Time}	_{7.55s (± 0.66%)}	_{7.56s (± 0.40%)}	_~	_7.52s	_7.60s	_{p=1.000 n=6}
_{Emit Time}	_{4.32s (± 0.32%)}	_{4.32s (± 0.56%)}	_~	_4.27s	_4.34s	_{p=0.744 n=6}
_{Total Time}	_{15.32s (± 0.42%)}	_{15.31s (± 0.27%)}	_~	_15.26s	_15.36s	_{p=0.688 n=6}
_{material-ui - node (v14.21.3, x64)}
_{Memory used}	_{477,217k (± 0.00%)}	_{477,404k (± 0.01%)}	_{+188k (+ 0.04%)}	_477,372k	_477,439k	_{p=0.005 n=6}
_{Parse Time}	_{3.31s (± 0.37%)}	_{3.29s (± 0.17%)}	_{-0.02s (- 0.60%)}	_3.29s	_3.30s	_{p=0.015 n=6}
_{Bind Time}	_{1.00s (± 0.52%)}	_{1.00s (± 0.75%)}	_~	_0.99s	_1.01s	_{p=0.784 n=6}
_{Check Time}	_{18.69s (± 0.22%)}	_{18.74s (± 0.20%)}	_~	_18.69s	_18.80s	_{p=0.075 n=6}
_{Emit Time}	_{0.00s (± 0.00%)}	_{0.00s (± 0.00%)}	_~	_0.00s	_0.00s	_{p=1.000 n=6}
_{Total Time}	_{23.00s (± 0.19%)}	_{23.04s (± 0.20%)}	_~	_22.98s	_23.11s	_{p=0.334 n=6}
_{xstate - node (v14.21.3, x64)}
_{Memory used}	_{549,587k (± 0.00%)}	_{557,492k (± 0.00%)}	_{+7,905k (+ 1.44%)}	_557,453k	_557,519k	_{p=0.005 n=6}
_{Parse Time}	_{4.24s (± 1.59%)}	_{4.18s (± 0.51%)}	_~	_4.15s	_4.21s	_{p=0.108 n=6}
_{Bind Time}	_{1.62s (± 4.71%)}	_{1.64s (± 2.26%)}	_~	_1.57s	_1.66s	_{p=0.557 n=6}
_{Check Time}	_{3.19s (± 0.54%)}	_{3.53s (± 0.58%)}	_{+0.34s (+10.77%)}	_3.51s	_3.55s	_{p=0.005 n=6}
_{Emit Time}	_{0.09s (± 0.00%)}	_{0.09s (± 4.45%)}	_~	_0.09s	_0.10s	_{p=0.405 n=6}
_{Total Time}	_{9.14s (± 0.40%)}	_{9.44s (± 0.32%)}	_{+0.30s (+ 3.30%)}	_9.40s	_9.47s	_{p=0.005 n=6}

System

_{Machine Name}	_ts-ci-ubuntu
_Platform	_{linux 5.4.0-147-generic}
_Architecture	_x64
_{Available Memory}	_{16 GB}
_{Available Memory}	_{15 GB}
_CPUs	_{4 × Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz}

Hosts

node (v18.10.0, x64)
node (v16.17.1, x64)
node (v14.21.3, x64)

Scenarios

Angular - node (v18.10.0, x64)
Angular - node (v16.17.1, x64)
Angular - node (v14.21.3, x64)
Compiler-Unions - node (v18.10.0, x64)
Compiler-Unions - node (v16.17.1, x64)
Compiler-Unions - node (v14.21.3, x64)
Monaco - node (v18.10.0, x64)
Monaco - node (v16.17.1, x64)
Monaco - node (v14.21.3, x64)
TFS - node (v18.10.0, x64)
TFS - node (v16.17.1, x64)
TFS - node (v14.21.3, x64)
material-ui - node (v18.10.0, x64)
material-ui - node (v16.17.1, x64)
material-ui - node (v14.21.3, x64)
xstate - node (v18.10.0, x64)
xstate - node (v16.17.1, x64)
xstate - node (v14.21.3, x64)

_Benchmark	_Name	_Iterations
_Current	₅₄₀₄₇	₆
_Baseline	_main	₆

TSServer

Comparison Report - main..54047

_Metric	_main	₅₄₀₄₇	_Delta	_Best	_Worst	_p-value
_{Compiler-UnionsTSServer - node (v18.10.0, x64)}
_{Req 1 - updateOpen}	_{2,531ms (± 0.33%)}	_{2,526ms (± 0.65%)}	_~	_2,510ms	_2,555ms	_{p=0.298 n=6}
_{Req 2 - geterr}	_{5,702ms (± 0.50%)}	_{5,665ms (± 1.34%)}	_~	_5,512ms	_5,714ms	_{p=0.689 n=6}
_{Req 3 - references}	_{341ms (± 0.65%)}	_{342ms (± 1.09%)}	_~	_338ms	_349ms	_{p=0.420 n=6}
_{Req 4 - navto}	_{282ms (± 0.45%)}	_{284ms (± 1.27%)}	_~	_281ms	_291ms	_{p=0.279 n=6}
_{Req 5 - completionInfo count}	_{1,356 (± 0.00%)}	_{1,356 (± 0.00%)}	_~	_1,356	_1,356	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{84ms (± 1.17%)}	_{85ms (± 0.89%)}	_~	_84ms	_86ms	_{p=0.167 n=6}
_{CompilerTSServer - node (v18.10.0, x64)}
_{Req 1 - updateOpen}	_{2,634ms (± 0.33%)}	_{2,643ms (± 1.11%)}	_~	_2,599ms	_2,686ms	_{p=0.423 n=6}
_{Req 2 - geterr}	_{4,329ms (± 0.28%)}	_{4,295ms (± 2.24%)}	_~	_4,167ms	_4,385ms	_{p=0.471 n=6}
_{Req 3 - references}	_{348ms (± 0.47%)}	_{347ms (± 0.42%)}	_~	_345ms	_349ms	_{p=0.279 n=6}
_{Req 4 - navto}	_{289ms (± 0.42%)}	_{289ms (± 0.71%)}	_~	_287ms	_293ms	_{p=0.743 n=6}
_{Req 5 - completionInfo count}	_{1,518 (± 0.00%)}	_{1,518 (± 0.00%)}	_~	_1,518	_1,518	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{63ms (± 4.54%)}	_{66ms (± 6.05%)}	_~	_62ms	_71ms	_{p=0.122 n=6}
_{xstateTSServer - node (v18.10.0, x64)}
_{Req 1 - updateOpen}	_{3,065ms (± 0.36%)}	_{3,058ms (± 0.25%)}	_~	_3,045ms	_3,068ms	_{p=0.336 n=6}
_{Req 2 - geterr}	_{1,615ms (± 1.26%)}	_{1,615ms (± 1.24%)}	_~	_1,583ms	_1,642ms	_{p=0.748 n=6}
_{Req 3 - references}	_{107ms (± 0.51%)}	_{107ms (± 1.91%)}	_~	_105ms	_109ms	_{p=1.000 n=6}
_{Req 4 - navto}	_{363ms (± 0.61%)}	_{362ms (± 0.48%)}	_~	_360ms	_365ms	_{p=0.366 n=6}
_{Req 5 - completionInfo count}	_{2,862 (± 0.00%)}	_{2,862 (± 0.00%)}	_~	_2,862	_2,862	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{371ms (± 1.46%)}	_{370ms (± 1.98%)}	_~	_359ms	_378ms	_{p=1.000 n=6}
_{Compiler-UnionsTSServer - node (v16.17.1, x64)}
_{Req 1 - updateOpen}	_{2,664ms (± 0.37%)}	_{2,648ms (± 0.59%)}	_~	_2,626ms	_2,669ms	_{p=0.109 n=6}
_{Req 2 - geterr}	_{6,131ms (± 0.25%)}	_{6,147ms (± 0.37%)}	_~	_6,122ms	_6,183ms	_{p=0.229 n=6}
_{Req 3 - references}	_{354ms (± 0.73%)}	_{355ms (± 0.58%)}	_~	_351ms	_357ms	_{p=0.515 n=6}
_{Req 4 - navto}	_{284ms (± 0.50%)}	_{286ms (± 1.65%)}	_~	_279ms	_291ms	_{p=0.685 n=6}
_{Req 5 - completionInfo count}	_{1,356 (± 0.00%)}	_{1,356 (± 0.00%)}	_~	_1,356	_1,356	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{88ms (± 6.62%)}	_{90ms (± 4.51%)}	_~	_82ms	_93ms	_{p=0.558 n=6}
_{CompilerTSServer - node (v16.17.1, x64)}
_{Req 1 - updateOpen}	_{2,799ms (± 0.57%)}	_{2,796ms (± 0.70%)}	_~	_2,770ms	_2,824ms	_{p=0.936 n=6}
_{Req 2 - geterr}	_{4,662ms (± 0.29%)}	_{4,690ms (± 0.20%)}	_{+29ms (+ 0.62%)}	_4,675ms	_4,704ms	_{p=0.008 n=6}
_{Req 3 - references}	_{362ms (± 0.44%)}	_{362ms (± 0.29%)}	_~	_361ms	_363ms	_{p=0.934 n=6}
_{Req 4 - navto}	_{285ms (± 0.68%)}	_{283ms (± 0.95%)}	_~	_280ms	_286ms	_{p=0.221 n=6}
_{Req 5 - completionInfo count}	_{1,518 (± 0.00%)}	_{1,518 (± 0.00%)}	_~	_1,518	_1,518	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{67ms (± 1.12%)}	_{68ms (± 0.93%)}	_~	_67ms	_69ms	_{p=0.081 n=6}
_{xstateTSServer - node (v16.17.1, x64)}
_{Req 1 - updateOpen}	_{3,199ms (± 0.55%)}	_{3,206ms (± 0.25%)}	_~	_3,190ms	_3,214ms	_{p=0.575 n=6}
_{Req 2 - geterr}	_{1,762ms (± 1.01%)}	_{1,761ms (± 0.58%)}	_~	_1,754ms	_1,781ms	_{p=0.747 n=6}
_{Req 3 - references}	_{126ms (± 6.08%)}	_{123ms (± 1.73%)}	_~	_119ms	_125ms	_{p=0.735 n=6}
_{Req 4 - navto}	_{341ms (± 0.40%)}	_{339ms (± 0.44%)}	_~	_338ms	_341ms	_{p=0.117 n=6}
_{Req 5 - completionInfo count}	_{2,862 (± 0.00%)}	_{2,862 (± 0.00%)}	_~	_2,862	_2,862	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{396ms (± 1.26%)}	_{402ms (± 1.76%)}	_~	_397ms	_416ms	_{p=0.226 n=6}
_{Compiler-UnionsTSServer - node (v14.21.3, x64)}
_{Req 1 - updateOpen}	_{2,766ms (± 0.34%)}	_{2,767ms (± 0.55%)}	_~	_2,744ms	_2,787ms	_{p=0.810 n=6}
_{Req 2 - geterr}	_{6,264ms (± 0.58%)}	_{6,299ms (± 0.39%)}	_~	_6,264ms	_6,325ms	_{p=0.128 n=6}
_{Req 3 - references}	_{366ms (± 0.69%)}	_{373ms (± 5.12%)}	_~	_364ms	_412ms	_{p=0.933 n=6}
_{Req 4 - navto}	_{290ms (± 0.48%)}	_{287ms (± 0.42%)}	_{-2ms (- 0.75%)}	_286ms	_289ms	_{p=0.021 n=6}
_{Req 5 - completionInfo count}	_{1,356 (± 0.00%)}	_{1,356 (± 0.00%)}	_~	_1,356	_1,356	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{97ms (± 6.44%)}	_{101ms (± 5.01%)}	_~	_91ms	_104ms	_{p=0.167 n=6}
_{CompilerTSServer - node (v14.21.3, x64)}
_{Req 1 - updateOpen}	_{2,936ms (± 0.27%)}	_{2,948ms (± 0.61%)}	_~	_2,925ms	_2,969ms	_{p=0.377 n=6}
_{Req 2 - geterr}	_{4,545ms (± 0.36%)}	_{4,578ms (± 1.45%)}	_~	_4,531ms	_4,709ms	_{p=0.471 n=6}
_{Req 3 - references}	_{374ms (± 0.46%)}	_{377ms (± 1.38%)}	_~	_371ms	_386ms	_{p=0.169 n=6}
_{Req 4 - navto}	_{296ms (± 0.74%)}	_{296ms (± 0.66%)}	_~	_292ms	_297ms	_{p=0.668 n=6}
_{Req 5 - completionInfo count}	_{1,518 (± 0.00%)}	_{1,518 (± 0.00%)}	_~	_1,518	_1,518	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{76ms (± 1.35%)}	_{76ms (± 1.44%)}	_~	_74ms	_77ms	_{p=0.863 n=6}
_{xstateTSServer - node (v14.21.3, x64)}
_{Req 1 - updateOpen}	_{3,443ms (± 1.55%)}	_{3,464ms (± 1.04%)}	_~	_3,402ms	_3,504ms	_{p=0.423 n=6}
_{Req 2 - geterr}	_{1,864ms (± 0.37%)}	_{1,872ms (± 0.61%)}	_~	_1,855ms	_1,891ms	_{p=0.295 n=6}
_{Req 3 - references}	_{141ms (± 8.20%)}	_{155ms (± 5.76%)}	_~	_137ms	_160ms	_{p=0.064 n=6}
_{Req 4 - navto}	_{396ms (± 1.59%)}	_{395ms (± 0.81%)}	_~	_391ms	_400ms	_{p=1.000 n=6}
_{Req 5 - completionInfo count}	_{2,862 (± 0.00%)}	_{2,862 (± 0.00%)}	_~	_2,862	_2,862	_{p=1.000 n=6}
_{Req 5 - completionInfo}	_{425ms (± 2.81%)}	_{427ms (± 3.11%)}	_~	_402ms	_437ms	_{p=0.630 n=6}

System

_{Machine Name}	_ts-ci-ubuntu
_Platform	_{linux 5.4.0-147-generic}
_Architecture	_x64
_{Available Memory}	_{16 GB}
_{Available Memory}	_{15 GB}
_CPUs	_{4 × Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz}

Hosts

node (v18.10.0, x64)
node (v16.17.1, x64)
node (v14.21.3, x64)

Scenarios

Compiler-UnionsTSServer - node (v18.10.0, x64)
Compiler-UnionsTSServer - node (v16.17.1, x64)
Compiler-UnionsTSServer - node (v14.21.3, x64)
CompilerTSServer - node (v18.10.0, x64)
CompilerTSServer - node (v16.17.1, x64)
CompilerTSServer - node (v14.21.3, x64)
xstateTSServer - node (v18.10.0, x64)
xstateTSServer - node (v16.17.1, x64)
xstateTSServer - node (v14.21.3, x64)

_Benchmark	_Name	_Iterations
_Current	₅₄₀₄₇	₆
_Baseline	_main	₆

Startup

Comparison Report - main..54047

_Metric	_main	₅₄₀₄₇	_Delta	_Best	_Worst	_p-value
_{tsc-startup - node (v16.17.1, x64)}
_{Execution time}	_{140.94ms (± 0.21%)}	_{140.87ms (± 0.17%)}	_{-0.07ms (- 0.05%)}	_140.04ms	_143.63ms	_{p=0.025 n=600}
_{tsserver-startup - node (v16.17.1, x64)}
_{Execution time}	_{219.20ms (± 0.19%)}	_{219.19ms (± 0.17%)}	_~	_217.96ms	_223.03ms	_{p=0.889 n=600}
_{tsserverlibrary-startup - node (v16.17.1, x64)}
_{Execution time}	_{220.45ms (± 0.14%)}	_{220.67ms (± 0.18%)}	_{+0.22ms (+ 0.10%)}	_219.57ms	_225.38ms	_{p=0.000 n=600}
_{typescript-startup - node (v16.17.1, x64)}
_{Execution time}	_{202.49ms (± 0.16%)}	_{202.77ms (± 0.19%)}	_{+0.28ms (+ 0.14%)}	_201.80ms	_210.20ms	_{p=0.000 n=600}

System

_{Machine Name}	_ts-ci-ubuntu
_Platform	_{linux 5.4.0-147-generic}
_Architecture	_x64
_{Available Memory}	_{16 GB}
_{Available Memory}	_{15 GB}
_CPUs	_{4 × Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz}

Hosts

node (v16.17.1, x64)

Scenarios

tsc-startup - node (v16.17.1, x64)
tsserver-startup - node (v16.17.1, x64)
tsserverlibrary-startup - node (v16.17.1, x64)
typescript-startup - node (v16.17.1, x64)

_Benchmark	_Name	_Iterations
_Current	₅₄₀₄₇	₆
_Baseline	_main	₆

Developer Information:

Download Benchmark

Apr 28 '23 05:04 typescript-bot

Hey @weswigham, the results of running the DT tests are ready. There were interesting changes:

Branch only errors:

Package: lodash Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/lodash/lodash-tests.ts:1491:5
ERROR: 1491:5  expect  TypeScript@local expected type to be:
  (AbcObject | undefined)[][]
got:
  [AbcObject | undefined, AbcObject | undefined, AbcObject | undefined][]
ERROR: 1492:5  expect  TypeScript@local expected type to be:
  (string | number | boolean | undefined)[][]
got:
  [string | number | boolean | undefined, string | undefined, boolean | undefined][]

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: angular-odata-resources Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/angular-odata-resources/angular-odata-resources-tests.ts:121:1
ERROR: 121:1   expect  TypeScript@local compile error: 
Type '{}' is missing the following properties from type 'IResourceClass<IMyResource>': get, query, save, update, and 3 more.
ERROR: 164:32  expect  TypeScript@local compile error: 
Property 'odata' does not exist on type 'unknown'.
ERROR: 170:31  expect  TypeScript@local compile error: 
Property 'odata' does not exist on type 'unknown'.
ERROR: 177:20  expect  TypeScript@local compile error: 
Parameter 's' implicitly has an 'any' type.
ERROR: 193:28  expect  TypeScript@local compile error: 
Property 'odata' does not exist on type 'unknown'.
ERROR: 198:38  expect  TypeScript@local compile error: 
Property 'odata' does not exist on type 'unknown'.
ERROR: 204:39  expect  TypeScript@local compile error: 
Property 'odata' does not exist on type 'unknown'.
ERROR: 208:39  expect  TypeScript@local compile error: 
Property 'odata' does not exist on type 'unknown'.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: hapi__joi Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/hapi__joi/hapi__joi-tests.ts:1247:5
ERROR: 1247:5  expect  TypeScript@local compile error: 
Unused '@ts-expect-error' directive.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: lodash/v3 Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/lodash/v3/lodash-tests.ts:5695:9
ERROR: 5695:9   expect  TypeScript@local compile error: 
Type 'Function' is not assignable to type 'SampleResult'.
  Type 'Function' provides no match for the signature '(a: number, b: string): boolean'.
ERROR: 8060:9   expect  TypeScript@local compile error: 
Property 'a' is missing in type '{}' but required in type 'Obj'.
ERROR: 8672:9   expect  TypeScript@local compile error: 
Type 'unknown' is not assignable to type 'string'.
ERROR: 8674:9   expect  TypeScript@local compile error: 
Type 'unknown' is not assignable to type 'string'.
ERROR: 9185:9   expect  TypeScript@local compile error: 
Type 'unknown' is not assignable to type 'string'.
ERROR: 9188:9   expect  TypeScript@local compile error: 
Type 'unknown' is not assignable to type 'string'.
ERROR: 10235:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Property 'a' is missing in type '{}' but required in type '{ a: string; }'.
ERROR: 10236:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10237:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10238:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10240:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10241:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10242:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10243:9  expect  TypeScript@local compile error: 
Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
  Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10263:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Property 'a' is missing in type '{}' but required in type '{ a: string; }'.
ERROR: 10264:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10265:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10266:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10268:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10269:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10270:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10271:9  expect  TypeScript@local compile error: 
Type 'LoDashImplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashImplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10291:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Property 'a' is missing in type '{}' but required in type '{ a: string; }'.
ERROR: 10292:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10293:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10294:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10296:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10297:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10298:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.
ERROR: 10299:9  expect  TypeScript@local compile error: 
Type 'LoDashExplicitObjectWrapper<(object: { a: string; }) => unknown>' is not assignable to type 'LoDashExplicitObjectWrapper<(object: any) => { a: string; }>'.
  Type '(object: { a: string; }) => unknown' is not assignable to type '(object: any) => { a: string; }'.
    Type 'unknown' is not assignable to type '{ a: string; }'.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: redux-actions Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/redux-actions/redux-actions-tests.ts:159:10
ERROR: 159:10  expect  TypeScript@local compile error: 
Parameter '_' implicitly has an 'any' type.
ERROR: 159:13  expect  TypeScript@local compile error: 
Parameter 'remote' implicitly has an 'any' type.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: skatejs Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/skatejs/test/utils/link.ts:21:27
ERROR: 21:27  expect  TypeScript@local compile error: 
Argument of type 'this' is not assignable to parameter of type 'CustomElement'.
  Type 'default' is missing the following properties from type 'CustomElement': connectedCallback, disconnectedCallback, attributeChangedCallback, accessKey, and 288 more.
ERROR: 28:10  expect  TypeScript@local compile error: 
Argument of type 'this' is not assignable to parameter of type 'CustomElement'.
ERROR: 29:10  expect  TypeScript@local compile error: 
Argument of type 'this' is not assignable to parameter of type 'CustomElement'.
ERROR: 30:10  expect  TypeScript@local compile error: 
Argument of type 'this' is not assignable to parameter of type 'CustomElement'.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: enzyme Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/enzyme/enzyme-tests.tsx:145:13
ERROR: 145:13  expect  TypeScript@local expected type to be:
  number
got:
  any
ERROR: 146:13  expect  TypeScript@local expected type to be:
  string
got:
  any
ERROR: 161:9   expect  TypeScript@local compile error: 
Unused '@ts-expect-error' directive.
ERROR: 163:9   expect  TypeScript@local compile error: 
Unused '@ts-expect-error' directive.
ERROR: 586:13  expect  TypeScript@local expected type to be:
  number
got:
  any
ERROR: 587:13  expect  TypeScript@local expected type to be:
  string
got:
  any
ERROR: 602:9   expect  TypeScript@local compile error: 
Unused '@ts-expect-error' directive.
ERROR: 604:9   expect  TypeScript@local compile error: 
Unused '@ts-expect-error' directive.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Package: papaparse Error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/papaparse/papaparse-tests.ts:114:9
ERROR: 114:9  expect  TypeScript@local expected type to be:
  LocalFile
got:
  File
ERROR: 137:9  expect  TypeScript@local expected type to be:
  LocalFile
got:
  File
ERROR: 156:9  expect  TypeScript@local expected type to be:
  LocalFile
got:
  File

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Errors that changed between main and the branch:

Package: ramda Main error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/find-tests.ts:5:30
ERROR: 5:30   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<2, any>[]'.
  Property '2' is missing in type '{ a: number; }' but required in type 'Record<2, any>'.
ERROR: 6:30   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/findIndex-tests.ts:5:35
ERROR: 5:35   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<2, any>[]'.
  Property '2' is missing in type '{ a: number; }' but required in type 'Record<2, any>'.
ERROR: 6:35   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/findLast-tests.ts:8:34
ERROR: 8:34   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<1, any>[]'.
  Property '1' is missing in type '{ a: number; b: number; }' but required in type 'Record<1, any>'.
ERROR: 9:34   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; b: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/findLastIndex-tests.ts:8:39
ERROR: 8:39   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<1, any>[]'.
  Property '1' is missing in type '{ a: number; b: number; }' but required in type 'Record<1, any>'.
ERROR: 9:39   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; b: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/propEq-tests.ts:10:11
ERROR: 10:11  expect  TypeScript@local compile error: 
Type '(obj: Record<"bar", any>) => boolean' is not assignable to type '(obj: Record<"foo", "bar">) => boolean'.
  Types of parameters 'obj' and 'obj' are incompatible.
    Property 'bar' is missing in type 'Record<"foo", "bar">' but required in type 'Record<"bar", any>'.
ERROR: 12:11  expect  TypeScript@local compile error: 
Type '(obj: Record<5, any>) => boolean' is not assignable to type '(obj: Record<"baz", number>) => boolean'.
  Types of parameters 'obj' and 'obj' are incompatible.
    Property '5' is missing in type 'Record<"baz", number>' but required in type 'Record<5, any>'.
ERROR: 14:11  expect  TypeScript@local compile error: 
Type '(obj: Record<"qwerty", any>) => boolean' is not assignable to type '(obj: Record<number, string>) => boolean'.
  Types of parameters 'obj' and 'obj' are incompatible.
    Property 'qwerty' is missing in type 'Record<number, string>' but required in type 'Record<"qwerty", any>'.
ERROR: 29:22  expect  TypeScript@local compile error: 
Argument of type 'Obj' is not assignable to parameter of type 'Record<1, any>'.
  Property '1' is missing in type 'Obj' but required in type 'Record<1, any>'.
ERROR: 30:22  expect  TypeScript@local compile error: 
Argument of type 'Obj' is not assignable to parameter of type 'Record<4, any>'.
  Property '4' is missing in type 'Obj' but required in type 'Record<4, any>'.
ERROR: 43:28  expect  TypeScript@local compile error: 
Argument of type 'A' is not assignable to parameter of type 'Record<"", any>'.
  Property '""' is missing in type 'A' but required in type 'Record<"", any>'.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

Branch error:

Error: /home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/find-tests.ts:5:30
ERROR: 5:30   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<2, any>[]'.
  Property '2' is missing in type '{ a: number; }' but required in type 'Record<2, any>'.
ERROR: 6:30   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/findIndex-tests.ts:5:35
ERROR: 5:35   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<2, any>[]'.
  Property '2' is missing in type '{ a: number; }' but required in type 'Record<2, any>'.
ERROR: 6:35   expect  TypeScript@local compile error: 
Argument of type '{ a: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/findLast-tests.ts:8:34
ERROR: 8:34   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<1, any>[]'.
  Property '1' is missing in type '{ a: number; b: number; }' but required in type 'Record<1, any>'.
ERROR: 9:34   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; b: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/findLastIndex-tests.ts:8:39
ERROR: 8:39   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<1, any>[]'.
  Property '1' is missing in type '{ a: number; b: number; }' but required in type 'Record<1, any>'.
ERROR: 9:39   expect  TypeScript@local compile error: 
Argument of type '{ a: number; b: number; }[]' is not assignable to parameter of type 'readonly Record<4, any>[]'.
  Property '4' is missing in type '{ a: number; b: number; }' but required in type 'Record<4, any>'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/indexBy-tests.ts:16:16
ERROR: 16:16  expect  TypeScript@local compile error: 
This expression is not callable.
  Type '{ [x: string]: { id: string; }; }' has no call signatures.
ERROR: 16:42  expect  TypeScript@local compile error: 
No overload matches this call.
  Overload 1 of 4, '(fn: (a: T) => string | number): <T>(list: readonly T[]) => { [x: string]: T; [x: number]: T; }', gave the following error.
    Argument of type '<T>(value: T) => Prop<T, "id">' is not assignable to parameter of type '(a: T) => string | number'.
  Overload 2 of 4, '(fn: (a: T) => string | number | undefined): <T>(list: readonly T[]) => { [x: string]: T | undefined; [x: number]: T | undefined; }', gave the following error.
    Argument of type '<T>(value: T) => Prop<T, "id">' is not assignable to parameter of type '(a: T) => string | number | undefined'.
ERROR: 17:16  expect  TypeScript@local compile error: 
This expression is not callable.
  Type '{ [x: string]: unknown; }' has no call signatures.
ERROR: 17:26  expect  TypeScript@local compile error: 
No overload matches this call.
  Overload 1 of 4, '(fn: (a: T) => string | number): <T>(list: readonly T[]) => { [x: string]: T; [x: number]: T; }', gave the following error.
    Argument of type '<T>(value: T) => Prop<T, "id">' is not assignable to parameter of type '(a: T) => string | number'.
  Overload 2 of 4, '(fn: (a: T) => string | number | undefined): <T>(list: readonly T[]) => { [x: string]: T | undefined; [x: number]: T | undefined; }', gave the following error.
    Argument of type '<T>(value: T) => Prop<T, "id">' is not assignable to parameter of type '(a: T) => string | number | undefined'.
ERROR: 18:16  expect  TypeScript@local compile error: 
This expression is not callable.
  Type '{ [x: string]: { id: string; }; }' has no call signatures.
ERROR: 18:42  expect  TypeScript@local compile error: 
No overload matches this call.
  Overload 1 of 4, '(fn: (a: T) => string | number): <T>(list: readonly T[]) => { [x: string]: T; [x: number]: T; }', gave the following error.
    Argument of type '<T>(value: T) => Prop<T, "id">' is not assignable to parameter of type '(a: T) => string | number'.
  Overload 2 of 4, '(fn: (a: T) => string | number | undefined): <T>(list: readonly T[]) => { [x: string]: T | undefined; [x: number]: T | undefined; }', gave the following error.
    Argument of type '<T>(value: T) => Prop<T, "id">' is not assignable to parameter of type '(a: T) => string | number | undefined'.

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/prop-tests.ts:108:5
ERROR: 108:5  expect  TypeScript@local expected type to be:
  number
got:
  string

/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/DefinitelyTyped/types/ramda/test/propEq-tests.ts:10:11
ERROR: 10:11  expect  TypeScript@local compile error: 
Type '(obj: Record<"bar", any>) => boolean' is not assignable to type '(obj: Record<"foo", "bar">) => boolean'.
  Types of parameters 'obj' and 'obj' are incompatible.
    Property 'bar' is missing in type 'Record<"foo", "bar">' but required in type 'Record<"bar", any>'.
ERROR: 12:11  expect  TypeScript@local compile error: 
Type '(obj: Record<5, any>) => boolean' is not assignable to type '(obj: Record<"baz", number>) => boolean'.
  Types of parameters 'obj' and 'obj' are incompatible.
    Property '5' is missing in type 'Record<"baz", number>' but required in type 'Record<5, any>'.
ERROR: 14:11  expect  TypeScript@local compile error: 
Type '(obj: Record<"qwerty", any>) => boolean' is not assignable to type '(obj: Record<number, string>) => boolean'.
  Types of parameters 'obj' and 'obj' are incompatible.
    Property 'qwerty' is missing in type 'Record<number, string>' but required in type 'Record<"qwerty", any>'.
ERROR: 29:22  expect  TypeScript@local compile error: 
Argument of type 'Obj' is not assignable to parameter of type 'Record<1, any>'.
  Property '1' is missing in type 'Obj' but required in type 'Record<1, any>'.
ERROR: 30:22  expect  TypeScript@local compile error: 
Argument of type 'Obj' is not assignable to parameter of type 'Record<4, any>'.
  Property '4' is missing in type 'Obj' but required in type 'Record<4, any>'.
ERROR: 43:28  expect  TypeScript@local compile error: 
Argument of type 'A' is not assignable to parameter of type 'Record<"", any>'.
  Property '""' is missing in type 'A' but required in type 'Record<"", any>'.

    at testTypesVersion (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:194:15)
    at async runTests (/home/vsts/work/1/s/DefinitelyTyped-tools/packages/dtslint-runner/node_modules/@definitelytyped/dtslint/dist/index.js:151:9)

You can check the log here.

Apr 28 '23 05:04 typescript-bot

@weswigham Here are the results of running the top-repos suite comparing main and refs/pull/54047/merge:

Something interesting changed - please have a look.

Details

microsoft/vscode

5 of 53 projects failed to build with the old tsc and were ignored

src/tsconfig.tsec.json

error TS2345: Argument of type '(result: ISearchEngineSuccess) => (ISearchEngineSuccess | IRawFileMatch[])[]' is not assignable to parameter of type '(value: ISearchEngineSuccess) => [ISearchEngineSuccess, IRawFileMatch[]] | PromiseLike<[ISearchEngineSuccess, IRawFileMatch[]]>'.
- src/vs/workbench/services/search/node/rawSearchService.ts#L160

react-hook-form/react-hook-form

2 of 3 projects failed to build with the old tsc and were ignored

tsconfig.json

error TS2322: Type '(data: { checkbox: [{ test: string; }, { test1: string; }]; }) => { errors: { checkbox?: { test1?: { type: string; message: string; } | undefined; test?: { type: string; message: string; } | undefined; }[] | undefined; }; values: {}; }' is not assignable to type 'Resolver<{ checkbox: [{ test: string; }, { test1: string; }]; }, any>'.
- src/__tests__/useForm.test.tsx#L1485

vercel/swr

4 of 12 projects failed to build with the old tsc and were ignored

test/type/tsconfig.json

error TS2769: No overload matches this call.
error TS2345: Argument of type 'true' is not assignable to parameter of type 'false'.
- test/type/preload.ts#L20

Apr 28 '23 05:04 typescript-bot

#26349 is once again up to date with main, since that approach doesn't break the world and is much more familiar to users of Flow, F#, and Rust.

May 03 '23 21:05 weswigham

@weswigham since partial inference by default seems to be to be off the table - do you envision any way for library authors to opt-into that in the future in their signature declarations?

May 03 '23 22:05 Andarist