Fix `clippy::empty_line_after_doc_comments` lint (#537) #130

Job	Run time
Check code formatting	4s
Linux (1.56.0)	1m 5s
Linux (stable)	22s
Linux (beta)	17s
Linux (nightly)	19s
Linux (--features serde, 1.56.0)	1m 14s
Linux (--features serde, stable)	24s
Linux (--features serde, beta)	25s
Linux (--features serde, nightly)	20s
Linux (--no-default-features --features libm, 1.56.0)	1m 11s
Linux (--no-default-features --features libm, stable)	13s
Linux (--no-default-features --features libm, beta)	20s
Linux (--no-default-features --features libm, nightly)	17s
Linux (stable, --features mint)	11s
Linux (stable, --features bytemuck)	15s
Linux (stable, --features arbitrary)	11s
Linux (nightly, --features unstable)	18s
Linux (nightly, --features unstable,serde)	21s
Result	1s
	7m 48s

Provide feedback