{"ast_node_type":"import","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
    /// specialized matrix. When we unspecialize, we use this to propagate usefulness back up the
    /// When we specialize, we remember which row of the original matrix produced a given row of the
    /// callstack. On creation, this stores the index of the original match arm.