Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
spurred by a conversation on Slack where someone was thrown off wondering why `zero(Vector{Int})` errors, but `zero(Int)` is fine. --------- Co-authored-by: Sukera <[email protected]> Co-authored-by: Max Horn <[email protected]> Co-authored-by: Simon Byrne <[email protected]>
- Loading branch information