Comment by tengbretson

I think the op is asking for actual type refinement by a regex condition.