GitLab user's permission when a direct member and in shared group

Say I have a group called “AA” which has a shared group called “11” associated to it via membership with permissions “Developer”.

I also have user Bob who is:

  • In group “AA” with direct member permissions “Reporter”
  • Also in group “11”

Now if I look at Bob’s permissions it is the direct membership permissions of “Reporter”. My expectation was that the shared group permission of “Developer” will trump the direct permissions since it is a higher order permission.

I’m looking for GitLab documented evidence of how the permissions are supposed to be set in this use case.