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