{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// intact so that NLL can respect them. For example:
    /// Encodes a user's type ascription. These need to be preserved
    /// ```ignore (illustrative)