Assertion: concept's type | /r/CapableOf | normalize to the disjunction
Facets:
value: with mapping t-> v
type: OTHER
value: true with an empty mapping
type: OTHER
Source sentences:
text: No invalid type in mapping even though // T::value is ill-formed for all pointer types template < typename V > concept C = B < V & > ; // Normalizes to the disjunction of // - T::value (with mapping T-> V&*) and // - true (with an empty mapping).