{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// a `ValTree`. If you want a more general version of this, talk to `wg-const-eval` on zulip.
    /// Note that this function is cursed, since usually MIR consts should not be evaluated to