{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"matrix:"}]}
    matrix: &mut Matrix<'p, Cx>,
    mcx: &mut UsefulnessCtxt<'a, 'p, Cx>,
) -> Result<WitnessMatrix<Cx>, Cx::Error> {