This can be a consensus rule inside (P2SH-)P2WSH witness scripts, and P2TR script-path spends already.
See BIP141:
The script should not fail, and end in precisely a single TRUE on the stack.
It might be attainable to do a delicate fork to implement this rule for naked scripts and P2SH scripts too, although as you observe, doing this naively would intervene with segwit script matching. A possible answer could be to exclude these patterns from the rule, however that will nonetheless be undesirable as it might shut the door to utilizing comparable script extension mecanisms sooner or later. This was not a problem on the time BIP62 was proposed, because it predated segwit, however nonetheless, on reflection it’s in all probability good that it did not get adopted as consensus rule.
I believe there’s little purpose so as to add this rule to reveal scripts and even P2SH scripts, as they’re successfully out of date. Newer constructions are cheaper, extra compact, extra handy, and provide extra options.
