/// <summary>
 /// Grants the specified user permissions to the specified workspace.
 /// </summary>
 /// <remarks>
 /// &lt;br/&gt;**Notes**: &lt;li&gt; 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).
 /// &lt;/li&gt;&lt;br/&gt;**Required scope**:
 /// Workspace.ReadWrite.All&lt;br/&gt;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();
 }