Ok I looked at it and I think the answer is "yes". The index here matches a discriminant, so you're mapping both `Enum` and `Typedef` to the same name `"type"`.