{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
        let ctor_sub_tys = cx.ctor_sub_tys(ctor, &self.ty);
    ) -> impl Iterator<Item = Self> + ExactSizeIterator {
        let ctor_sub_validity = self.validity.specialize(ctor);