rustdoc: Use new ||/proc syntax