There's was a RFC for that, but the proposal was dropped
github.com/rust-lang/rfcs
Add exhaustive_match_output RFC (#3340)
master ← Xaeroxe:exhaustive-output
opened 09:22PM - 31 Oct 22 UTC
Xaeroxe
+114 -0
Renderedustive-output.md)
I think I saw a more recent discussion on this here on IRLO, but I can't find it
About your proposal, I think that bjective_match,…