{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"Injected,"}]}
    Injected,
    /// Injected by `rustc`.
    /// Provided by `extern crate foo` or as part of the extern prelude.