On Tuesday, 5 February 2019 at 03:15:03 UTC, Timon Gehr wrote: > I wish it wasn't. It seems this doesn't do anything useful. If > I'm going through the trouble of explicitly specifying the > counter type to be what I need, why annoy me with this error > message? Ditto. This change is bewildering to me.