{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// they *must* be equal (though not having the same repr does not
    /// of its SCC and be sure that -- if they have the same repr --
    /// mean they are unequal).