{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"let"}]}
    let pcx = &PlaceCtxt { cx: mcx.tycx, ty };
    let ty = &place.ty.clone(); // Clone it out so we can mutate `matrix` later.
    let mut ret = WitnessMatrix::empty();