{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// These are stored here so we may collect them when canonicalizing user
    ///
    /// type ascriptions later.