{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"||"}]}
            || mcx.tycx.exhaustive_witnesses();
            || missing_ctors.is_empty()
        let mut spec_matrix = matrix.specialize_constructor(pcx, &ctor, ctor_is_relevant)?;