An optimization didn't get propagated