I used to have both Inbox and Gmail installed. This meant duplicate notifications. Inbox had the option "Turn off Gmail notifications" which I had selected. Since then, Inbox has become defunct and I haven't been able to figure out how to undo that.
Crucially: all of my Gmail and Android settings turn notifications from Gmail on, but they still won't show up. Does anyone know what Inbox did and how I can undo it?