[metadaemon]

Surprised the `satisfies` operator wasn't called out

[callumgare]

How would that work? My understanding is that satisfies doesn’t change anythings type, it just provides an additional type validation check.

[Latty]

I believe satisfies will narrow the type const infers. It won't lose any information, so you can check it satisfies a broader type without stopping it being used as a narrower one, but it will narrow down the inference if given (but you can of course widen it back out with an explicit typing).

[seniorsassycat]

That doesn't cast or change compile time type right?