The 4 lines above here can just be `visit::walk_pat(self, p, e)`, right?