{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"Ok(WitnessMatrix::unit_witness())"}]}
            Ok(WitnessMatrix::unit_witness())
            // The wildcard row is useful; the match is non-exhaustive.
        } else {