Discord.js-commando我如何检查提到的用户是否有角色，例如静音角色？

const { CommandoClient } = require('discord.js-commando');
const { GatewayIntentBits } = require('discord-api-types/v9');

const client = new CommandoClient({
    intents: [
        GatewayIntentBits.Guilds,
        GatewayIntentBits.GuildMessages,
        GatewayIntentBits.MessageContent,
        GatewayIntentBits.GuildMembers,
        GatewayIntentBits.GuildRoleTags
    ]
});

client.on('ready', () => {
    console.log(`Logged in as ${client.user.tag}!`);
});

client.registry.registerGroup('admin', 'Admin commands');
client.registry.registerGroup('misc', 'Miscellaneous commands');
client.registry.registerDefaults();
client.registry.registerCommand('checkrole', {
    name: 'checkrole',
    group: 'admin',
    memberPermissions: ['MANAGE_ROLES'],
    description: 'Check if a mentioned user has a specific role.',
    args: [
        {
            key: 'user',
            type: 'member',
            prompt: 'Please mention a user.'
        }
    ],
    async run(message, { user }) {
        const muteRole = message.guild.roles.cache.find(role => role.name === 'Mute');
        if (!muteRole) {
            return message.reply('The Mute role does not exist.');
        }

        const hasMuteRole = user.roles.cache.has(muteRole.id);
        if (hasMuteRole) {
            return message.reply(`${user} has the Mute role.`);
        } else {
            return message.reply(`${user} does not have the Mute role.`);
        }
    }
});

client.login('YOUR_BOT_TOKEN');