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