On Mon, Jul 1, 2024 at 9:49 PM Björn Roy Baron <bjorn3_gh@xxxxxxxxxxxxxx> wrote: > > Maybe also keep non_ascii_idents as error? It shouldn't have any false positives. I was on the fence for that one too. It is also unlikely that having it as `-W` helps "productivity", i.e. I don't expect anybody to be helped by being able to type non-ASCII identifiers during development. :) Happy either way. Thanks for the quick review, too! Cheers, Miguel
