{"ast_node_type":"other","tokens":[{"end":114,"kind":"keyword","start":0,"text":"///"}]}
/// `#[used]`, which is semantically equivalent to `#[used(linker)]` except that the latter is currently unstable.
/// There are three valid forms of the attribute:
/// `#[used(compiler)]`