Doug Gregor on Nostr: nprofile1q…4qf9g Okay, now that I read it more closely, I feel slightly bad: ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqu24tf7lkhs9wec3fg2xzddfpu49hwlywsdynx568xfflcjcntqasl4qf9g (nprofile…qf9g) Okay, now that I read it more closely, I feel slightly bad: SE-0443 was about choosing which existing warnings get escalated to errors (or suppressed entirely), but it intentionally avoided adding a general mechanism for "opt-in" warnings. That means this issue isn't a straightforward "customize this diagnostic" change like I thought, but touches more on the philosophical question of how to deal with opt-in warnings and the potential dialect-ification it creates for the language.