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 use

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