{"ast_node_type":"variable","tokens":[{"end":41,"kind":"keyword","start":0,"text":"let"}]}
    let mut ret = WitnessMatrix::empty();
    let pcx = &PlaceCtxt { cx: mcx.tycx, ty };
    for ctor in split_ctors {