{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":".max()"}]}
            .max()
            .map(|ty| db.has_drop_glue(ty.clone(), env.clone()))
            .unwrap_or(DropGlue::None),