{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// All `#[rustc_do_not_const_check]` functions MUST be hooked here.
    /// "Intercept" a function call, because we have something special to do for it.
    /// If this returns `Some` function, which may be `instance` or a different function with