{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            db.has_drop_glue(ty.clone(), env)
        TyKind::Slice(ty) => db.has_drop_glue(ty.clone(), env),