/// <summary>
/// Grants the specified user permissions to the specified workspace.
/// </summary>
/// <remarks>
/// <br/>**Notes**: <li> Users that have been recently added to a
/// group may not have their new group immediately available, see [Refresh user
/// permissions](https://docs.microsoft.com/en-us/rest/api/power-bi/users/refreshuserpermissions).
/// </li><br/>**Required scope**:
/// Workspace.ReadWrite.All<br/>To set the permissions scope, see
/// [Register an
/// app](https://docs.microsoft.com/power-bi/developer/register-app).
/// </remarks>
/// <param name='operations'>
/// The operations group for this extension method.
/// </param>
/// <param name='groupId'>
/// The workspace id
/// </param>
/// <param name='userDetails'>
/// Details of user access right
/// </param>
/// <param name='cancellationToken'>
/// The cancellation token.
/// </param>
public static async Task AddGroupUserAsync(this IGroupsOperations operations, System.Guid groupId, GroupUser userDetails, CancellationToken cancellationToken = default(CancellationToken))
{
(await operations.AddGroupUserWithHttpMessagesAsync(groupId, userDetails, null, cancellationToken).ConfigureAwait(false)).Dispose();
}