Assertion: concept's type | /r/HasProperty | valid
Facets:
Source sentences:
text: The requirement is that the named type is valid: this can be used to verify that a certain named nested type exists, or that a class template specialization names a type, or that an alias template specialization names a type.
text: AND the type T::inner must be valid //