{"ast_node_type":"import","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
    /// "Intercept" a function call, because we have something special to do for it.
    /// All `#[rustc_do_not_const_check]` functions MUST be hooked here.