{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
            let variant = adt.variant(Self::variant_index_for_adt(ctor, *adt));
        if let ty::Adt(adt, _) = ty.kind() {
            write!(f, "{}", variant.name)?;