We should reconsider if there are more places we should use AnyId where we currently use Id, ie, if there are more places we should allow Cedar reserved words to be used when an identifier is needed. #634 allows Cedar reserved words to be annotation keys, maybe there are more places we could/should allow Cedar reserved words to be used where currently they are not.
Of course, keeping them disallowed is somewhat more future-proof in case we have a need to disallow them in the future, due to new Cedar features or syntax.
Describe alternatives you've considered
Status quo is probably OK
Additional context
No response
Is this something that you'd be interested in working on?
[ ] 👋 I may be able to implement this internal improvement
cdisselkoen
commented
5 months ago
Describe the improvement you'd like to request
[Comes from comments on #634]
We should reconsider if there are more places we should use
AnyIdwhere we currently useId, ie, if there are more places we should allow Cedar reserved words to be used when an identifier is needed. #634 allows Cedar reserved words to be annotation keys, maybe there are more places we could/should allow Cedar reserved words to be used where currently they are not.Of course, keeping them disallowed is somewhat more future-proof in case we have a need to disallow them in the future, due to new Cedar features or syntax.
Describe alternatives you've considered
Status quo is probably OK
Additional context
No response
Is this something that you'd be interested in working on?