This error seems a bit misleading because I think most aren't aware that `once ||` is even a thing (it's feature gated anyway). Perhaps we could remove the `expected_onceness` argument (in `check_expr_fn` above)? That looks like it may print the right thing at that point.