<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
</head>
<body>
<div style="font-family: sans-serif;">
<span dir="ltr" style="margin-top:0; margin-bottom:0;">Hi,</span> <br> <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">since this is guarded by an extension that doesn't even exist yet, no code is broken, is there?</span> <br> <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">I also don't expect this to be enabled in the future without coinciding with an intentional action by the developers - enabling this extension or switching to a future language edition that has this enabled by default (should that ever exist). Is it not sufficient if they are _then_ bothered with this change?</span> <br> <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">(That said, we could say that a unparenthized type annotation on a pattern synonym is simply confusing, and thus use a warning to nudge the developers to add the parentheses now.)</span> <br> <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">So not opposed to an early warning, I just don't think it's strictly necessary for this change.</span> <br> <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">Cheers,</span> <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">Joachim </span> <br> <br>
</div>
</body>
</html>