Ticket #4675 (closed Bugs: fixed)
[proto] Cannot combine two expression from different sub domains into super domain
|Reported by:||theller||Owned by:||eric_niebler|
|Milestone:||To Be Determined||Component:||proto|
|Version:||Boost Development Trunk||Severity:||Problem|
Proto's SFINAE facilities disable the binary operator overload in the attached case.
Proposed fixed would be:
Enable the binary operator iff: 1) Both, LHS and RHS expression have the same super domain 2) LHS matches the grammar for the domain of LHS (not the super domain) 2) RHS matches the grammar for the domain of RHS (not the super domain) 3) resulting expression matches grammar in the super domain.