{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"///"}]}
    /// matches.
    /// make sure that the number of regions we see at the callsite
    pub num_external_vids: usize,