#![doc(html_favicon_url = "https://example.com/favicon.ico")]
//!aaaaaaaaaaaaaa
//!bbbbbbbbbbbbbb
/*!cccccccccc
 * ddddddddd
 !*/
//!
/// aaaaaaaaaaa
/// bbbbbbbbbb
/** cccccccccc **/
const a: bool = true
const b: bool = true
#[doc = " This is a doc comment."]
const c: bool = true