{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"self.rigid().map(|ty|"}]}
        self.rigid().map(|ty| with(|cx| cx.rigid_ty_discriminant_ty(ty)))
    pub fn discriminant_ty(&self) -> Option<Ty> {
    }