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