{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                write!(fmt, "AscribeUserType({place:?}, {variance:?}, {c_ty:?})")
            Coverage(ref kind) => write!(fmt, "Coverage::{kind:?}"),