{"ast_node_type":"variable","tokens":[{"end":25,"kind":"keyword","start":0,"text":"let"}]}
        let ctor = $ctor;
        let ty = *(&sub_tys).clone().into_iter().nth(index).unwrap();
        let ctor_sub_tys = &ty.sub_tys(&ctor);