> Nobody in the trenches seemed to use old-style auto in the last decades. To the beat of my knowledge, there was no case where "auto" wasn't redundant. See e.

> Nobody in the trenches seemed to use old-style auto in the last decades. To the beat of my knowledge, there was no case where "auto" wasn't redundant. See e.g. https://stackoverflow.com/a/2192761 https://stackoverflow.com/a/2192761 This makes me feel better about repurposing it, but I still hate the shitty use it's been put to.