id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
4675	[proto] Cannot combine two expression from different sub domains into super domain	Thomas Heller	Eric Niebler	"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.

"	Bugs	closed	To Be Determined	proto	Boost Development Trunk	Problem	fixed