Untegged variants support for regular expressions as a payload

[DZakh]

I think it's a pretty common case.

I use rescript@11.0.0-alpha.2

[cristianoc]

What's relatively easy to add, is to consider regexps as object.
Would that work, and be accurate?

• Work as in: it's typically the only case of object shape (in the example above it's true as the others are float or function)
• Accurate as in: it's always an object at runtime.

[DZakh]

What about /a/ instanceof RegExp? But I agree that typeof === "object" will work in this case.

[cristianoc]

What about /a/ instanceof RegExp? But I agree that typeof === "object" will work in this case.

Before doing that I'd like to know if the simpler solution would work in most cases.

The RegExp type is a further complication, as there's already overlap between array and object, so with this it would be a 3-way overlap.
Perhaps it's just exactly one more case like the one of array. Need to check.

[cristianoc]

In this example, what is it binding to? Link?

[DZakh]

Before doing that I'd like to know if the simpler solution would work in most cases.

It's definitely better than nothing. And in my experience, the regexp is usually overlapped with a string type.

In this example, what is it binding to? Link?

https://github.com/avajs/ava/blob/568fe40c987dd6c593dfbcf4144d1d1627955d46/types/assertions.d.cts#L19-L20

[cristianoc]

@DZakh done in #6296

That's a one-liner change. One can always do something more sophisticated later.