{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// canonical form will be different, making this a distinct
    /// sense to try and prove again -- of course, at that point, the
    /// query.