{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// * P1: R, where R is in some universe that cannot name P1
    /// The idea here is that each of these patterns represents something that