http://www.w3.org/ns/prov#value | - int & &&, which is nothing but int & due to reference collapsing.For the case of r2, 14.8.2.1/3 applies - If P is a reference type, the type referred to by P is used for type deduction.Therefore T is deduced as int, and the deduced A is int &.
|