Concept definition

template< typename TYPED_CHARACTER_POINTER, typename CHARACTER >
concept typed_character_pointer = 
::std::is_pointer_v<TYPED_CHARACTER_POINTER> 
&& !::std::is_array_v<TYPED_CHARACTER_POINTER>
&& ::is_same < ::non_const<CHARACTER>, ::non_const <::non_pointer<TYPED_CHARACTER_POINTER>>>