Concept definition

template< typename OTHER_CHARACTER_POINTER, typename CHARACTER >
concept other_character_pointer =
::std::is_pointer_v<OTHER_CHARACTER_POINTER>
&& !::std::is_array_v<OTHER_CHARACTER_POINTER>
&& prototype_character< ::non_const < ::non_pointer<OTHER_CHARACTER_POINTER>>>
&& !::is_same < CHARACTER, ::non_const <::non_pointer<OTHER_CHARACTER_POINTER>>>