Delete unneeded use of `ref` #1974

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Outdated	5s
Clippy	18s
pre_ci / pre_ci	2s
Documentation	16s
Miri	47s
Minimal versions	12s
Rust nightly	21s
Rust stable	19s
Rust beta	23s
Rust 1.56.0	2m 47s
	5m 30s