This could be a doc comment with `//!`.