"rename select": detect ambiguous patterns?
Would it be possible to make rename select
fail or warn when the pattern applies to more than one assumption? That seems like a dangerous source of ambiguity.
Would it be possible to make rename select
fail or warn when the pattern applies to more than one assumption? That seems like a dangerous source of ambiguity.