Proposed resolution:

Change the signature in [char.traits.specializations.char], [char.traits.specializations.char16_t], [char.traits.specializations.char32_t], and [char.traits.specializations.wchar.t] to

static constexpr int_type not_eof(char_type int_type c);