This looks like a bug: https://coq.zulipchat.com/#narrow/channel/237659-Equations-devs-.26-users/topic/Equations.20vs.20Function/near/486295559
