User-defined attibute to disable opIndex forwarding for a particular tagged union member.
See Implementation
User-defined attibute to disable opIndex forwarding for a particular tagged union member.