Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make .WHY on role group delegate to default role
Roles have a two-level structure: the role name is a parametric role group, which in turns contains the parametric role. In the case of there being many roles of the same short name, they are within the one group. Declarator docs correctly attach to the parametric role. However, that means .WHY on the group doesn't actually result in those docs. You have to extract the candidate from the group. In many cases, however, we people ain't using parametric roles, and we make many meta-operations delegate to the single or unsignatured role candidate, if any. We do not currently do this for .WHY. This commit makes us do so, BUT it turns out there are 3 current spectests that will fail because they explicitly expect that not to happen. Thus, we need to make a decision over whether we want this change. Relates to #3521.
- Loading branch information