Is `rcases` with custom eliminators supported?

Stream: general

[Ayhon]

While taking over at #general > Are type-guided unexpanders possible?, we noticed that rcases does not make use of custom case_eliminators. It seems to me like, since rcases does not currently support in its syntax a way to specify a custom eliminator, it may be an explicit design decision to not have it deal with custom case_eliminators. If this were true, I was wondering what was the rationale behind it, or if a patch adding such a syntax would be accepted.