如何在MudCheckbox中用@bind-Value:get/set绑定集合项的存在状态？

更新说明： 我已自行解决问题，发现原本的代码是可行的，只是其他错误混淆了我，没意识到已经写出正确版本。

我用MudForm做了一个带多个角色选择复选框的表单，需求是把复选框的选中状态绑定到模型中IEnumerable集合内是否存在对应角色的状态。期间尝试了多种@bind-Value:get和:set的写法，一度没理清。

以下是完整的可运行代码：

<MudForm Model="@model" @ref="@form">
    <MudStack>
        <MudText Typo="Typo.h6">Roles</MudText>

        <MudCheckBox @bind-Value:get="model.Roles.Any(r => r.Name == 'Admin')"
                     @bind-Value:set="(value) => OnRoleCheckChanged('Admin', value)"
                     Label="Admin" />

        <MudCheckBox @bind-Value:get="model.Roles.Any(r => r.Name == 'User')"
                     @bind-Value:set="(value) => OnRoleCheckChanged('User', value)"
                     Label="User" />
    </MudStack>
</MudForm>
<MudText Typo="Typo.h6">Selected Roles</MudText>
<MudText>@(string.Join(", ", model.Roles.Select(role => role.Name)))</MudText>

@code {
    MudForm form;
    EmployeeViewModel model = new EmployeeViewModel
        {
            Roles = new List<RoleViewModel>
            {
                new RoleViewModel { Name = "Admin" }
            }
        };

    private void OnRoleCheckChanged(string roleName, bool isChecked)
    {
        var roleExists = model.Roles.Any(r => r.Name == roleName);
        if (isChecked)
        {
            if (roleExists) return; // 角色已存在，无需重复添加

            model.Roles = model.Roles.Concat(new[] { new RoleViewModel { Name = roleName } }).ToList();
        }
        else
        {
            // 取消选中时移除角色
            if (roleExists)
            {
                // 重建不包含该角色的列表
                model.Roles = model.Roles.Where(r => r.Name != roleName).ToList();
            }
        }
    }

    public class EmployeeViewModel
    {
        public List<RoleViewModel> Roles { get; set; } = new List<RoleViewModel>();
    }

    public class RoleViewModel
    {
        public string Name { get; set; }
    }    
}

内容的提问来源于stack exchange，提问作者Glazed