{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"witnesses.apply_constructor(pcx,"}]}
        witnesses.apply_constructor(pcx, &missing_ctors, &ctor);
        // Transform witnesses for `spec_matrix` into witnesses for `matrix`.
        // Accumulate the found witnesses.