Mateusz Burzyński

For Vue 2 there is this alternative package: https://www.npmjs.com/package/xstate-vue2 . We probably should call this out in the docs.

> My (fuzzier) guess is that we haven't tried to resolve a parameter name from itself before and never observed that it mistakenly caused the parameter to be marked as...

I found this in the existing tests: https://github.com/microsoft/TypeScript/blob/79a851426c514a12a75b342e8dd2460ee6615f73/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithRestParameters.ts#L16 This is a pretty old test though and it assumes `strictNullChecks: false`. I think it doesn't quite make sense in the strict...

> I think the nicest win from this PR is that it lets type predicates naturally flow through assertion wrappers: This is dope 🚀

> Stricter type-checking of partial objects My educated guess is that the observed change was caused by the work done in https://github.com/microsoft/TypeScript/pull/57946 and https://github.com/microsoft/TypeScript/pull/57549 > Improved narrowing of Array.isArray result...

It repros in the playground too: [TS playground](https://www.typescriptlang.org/play/?ts=5.5.0-dev.20240514#code/JYWwDg9gTgLgBAbzgQQM6oKa2BAdgUSimjgF84AzYkOAclwgBMMAuAQ3SxgHpUYpgAYxi0A3HG7c4MAJ5gMqFnABMABgB0ARmVblAKAMGgA). To repro you need to hover over `AssertionError`. An interesting fact is that the first hover after a source edit triggers the...

Failing test case: ```ts // @strict: true // @moduleResolution: node // @noEmit: true // @filename: node_modules/@types/node/index.d.ts /// /// // @filename: node_modules/@types/node/assert/strict.d.ts declare module "node:assert/strict" { import { strict } from...

This is an interesting one. So the symbol that leads to a crash is a result of `combineValueAndTypeSymbols`. That combines a type symbol with a value symbol that is a...

I love fun issues. Expect me digging into this one later 😉

So in this case we end up with multiple inference candidates. We have: - covariant: `[any]` - contravariant: `[]` and `[a: number]` When multiple inference candidates are present, TS tries...