{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"Constructor::DerefPattern(ty)"}]}
            Constructor::DerefPattern(ty) => Constructor::DerefPattern(ty.clone()),
            Constructor::Str(value) => Constructor::Str(value.clone()),
            Constructor::Opaque(inner) => Constructor::Opaque(inner.clone()),