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

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).

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