{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// This constant came from the type system.
    /// Any way of turning `ty::Const` into `ConstValue` should go through `valtree_to_const_val`;